diff options
author | astrojhgu <astrojhgu@ed2142bd-67ad-457f-ba7c-d818d4011675> | 2012-02-29 12:57:49 +0000 |
---|---|---|
committer | astrojhgu <astrojhgu@ed2142bd-67ad-457f-ba7c-d818d4011675> | 2012-02-29 12:57:49 +0000 |
commit | 6d854d823b068bc9abb164eb5551b44878fa1f19 (patch) | |
tree | cf8e5b3474e2c0994b7cdc6d29b150ade0b36036 | |
parent | c6f78778f70d0aa5358677769ceeacf99a33c8f6 (diff) | |
download | opt-utilities-6d854d823b068bc9abb164eb5551b44878fa1f19.tar.bz2 |
git-svn-id: file:///home/svn/opt_utilities@224 ed2142bd-67ad-457f-ba7c-d818d4011675
-rwxr-xr-x | model_doc/make_doc.sh | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/model_doc/make_doc.sh b/model_doc/make_doc.sh index 0bd5a53..c77a1b0 100755 --- a/model_doc/make_doc.sh +++ b/model_doc/make_doc.sh @@ -1,13 +1,7 @@ #!/bin/sh -for i in *.tex +for i in *.html do - ./latex2svg.sh $i + ./html2info.sh $i done -rm -f *.aux -rm -f *.sk -rm -f *.ps -rm -f *.dvi -rm -f *.log -rm -f *.svg |