cleanup(): Get rid of module index turds.

diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index fa1a8c25719ce08bc51c361aa998732d1a2c583a..6ba48695674d259f84c6296469ca65e342aff020 100755 (executable)
--- a/Doc/tools/mkhowto.sh
+++ b/Doc/tools/mkhowto.sh
@@ -127,7 +127,7 @@ build_ps() {
 }
 
 cleanup() {
-    rm -f $1.aux $1.log $1.out $1.toc $1.bkm $1.idx $1.ind
+    rm -f $1.aux $1.log $1.out $1.toc $1.bkm $1.idx $1.ind mod$1.ind
     if [ ! "$BUILD_DVI" ] ; then
        rm -f $FILE.dvi
     fi