diff options
| -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 |