aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorastrojhgu <astrojhgu@ed2142bd-67ad-457f-ba7c-d818d4011675>2012-02-29 12:57:49 +0000
committerastrojhgu <astrojhgu@ed2142bd-67ad-457f-ba7c-d818d4011675>2012-02-29 12:57:49 +0000
commit6d854d823b068bc9abb164eb5551b44878fa1f19 (patch)
treecf8e5b3474e2c0994b7cdc6d29b150ade0b36036
parentc6f78778f70d0aa5358677769ceeacf99a33c8f6 (diff)
downloadopt-utilities-6d854d823b068bc9abb164eb5551b44878fa1f19.tar.bz2
git-svn-id: file:///home/svn/opt_utilities@224 ed2142bd-67ad-457f-ba7c-d818d4011675
-rwxr-xr-xmodel_doc/make_doc.sh10
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