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 /model_doc | |
| parent | c6f78778f70d0aa5358677769ceeacf99a33c8f6 (diff) | |
| download | opt-utilities-6d854d823b068bc9abb164eb5551b44878fa1f19.tar.bz2 | |
git-svn-id: file:///home/svn/opt_utilities@224 ed2142bd-67ad-457f-ba7c-d818d4011675
Diffstat (limited to 'model_doc')
| -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 |