diff options
| author | astrojhgu <astrojhgu@ed2142bd-67ad-457f-ba7c-d818d4011675> | 2011-05-30 17:22:15 +0000 |
|---|---|---|
| committer | astrojhgu <astrojhgu@ed2142bd-67ad-457f-ba7c-d818d4011675> | 2011-05-30 17:22:15 +0000 |
| commit | f9cb256e35ae66ac63adfa9445a94e86ed18f2e0 (patch) | |
| tree | b4dde6c2f5149470a179a7f3e225b3def08433c6 /model_doc/make_doc.sh | |
| parent | d564a1ea7e79c892462ef2b5b8e0f9576872f922 (diff) | |
| download | opt-utilities-f9cb256e35ae66ac63adfa9445a94e86ed18f2e0.tar.bz2 | |
git-svn-id: file:///home/svn/opt_utilities@204 ed2142bd-67ad-457f-ba7c-d818d4011675
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 |