cleanup(): Remove *all* the temp files related to index generation!

diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 6291cdb7acbf667e0c4b469496b0bc4906781728..fe47beac28d1e8c7b1f5e1bce2c10117eba5cd2e 100755 (executable)
--- 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
            ;;
        -*)