diff options
Diffstat (limited to 'model_doc/make_doc.sh')
| -rwxr-xr-x | model_doc/make_doc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/model_doc/make_doc.sh b/model_doc/make_doc.sh index d0aee70..0bd5a53 100755 --- a/model_doc/make_doc.sh +++ b/model_doc/make_doc.sh @@ -10,3 +10,4 @@ rm -f *.sk rm -f *.ps rm -f *.dvi rm -f *.log +rm -f *.svg |