cleanup(): Get rid of module index turds.

1998-04-17 20:25:55 +00:00 · 1998-04-17 20:25:55 +00:00 · 476412a918
parent daf71fca54
commit 476412a918
1 changed files with 1 additions and 1 deletions
--- 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