diff options
| author | Fred Drake <fdrake@acm.org> | 1998-04-29 21:28:25 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 1998-04-29 21:28:25 (GMT) |
| commit | c9b8a570407cc4d9be43a4c0f9d1ca45bcd0d470 (patch) | |
| tree | 542840a5eb2ed3e69065072b4af981715e2512ec /Doc/tools | |
| parent | 302be44e96f1bef7429192f0a6dcdccd63257942 (diff) | |
| download | cpython-c9b8a570407cc4d9be43a4c0f9d1ca45bcd0d470.zip cpython-c9b8a570407cc4d9be43a4c0f9d1ca45bcd0d470.tar.gz cpython-c9b8a570407cc4d9be43a4c0f9d1ca45bcd0d470.tar.bz2 | |
cleanup(): Remove *all* the temp files related to index generation!
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/mkhowto.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 6291cdb..fe47bea 100755 --- a/Doc/tools/mkhowto.sh +++ b/Doc/tools/mkhowto.sh @@ -123,7 +123,8 @@ build_ps() { } cleanup() { - rm -f $1.aux $1.log $1.out $1.toc $1.bkm $1.idx $1.ind mod$1.ind + rm -f $1.aux $1.log $1.out $1.toc $1.bkm $1.idx $1.ilg $1.ind + rm -f mod$1.idx mod$1.ilg mod$1.ind if [ ! "$BUILD_DVI" ] ; then rm -f $FILE.dvi fi @@ -184,6 +185,7 @@ while [ "$1" ] ; do shift 1 ;; --) + shift 1 break ;; -*) |