From: Fred Drake Date: Wed, 29 Apr 1998 21:28:25 +0000 (+0000) Subject: cleanup(): Remove *all* the temp files related to index generation! X-Git-Tag: v1.5.2a1~769 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=c9b8a570407cc4d9be43a4c0f9d1ca45bcd0d470;p=thirdparty%2FPython%2Fcpython.git cleanup(): Remove *all* the temp files related to index generation! --- diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 6291cdb7acbf..fe47beac28d1 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 ;; -*)