From: Fred Drake Date: Tue, 2 Mar 1999 16:22:26 +0000 (+0000) Subject: Clean up *.pla files -- platform annotation information. X-Git-Tag: v1.5.2c1~221 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=75ab7a6fa4885d511bf4e2f60f9cfa2be4620b70;p=thirdparty%2FPython%2Fcpython.git Clean up *.pla files -- platform annotation information. --- diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 373430d3779a..76bbda6555ea 100755 --- a/Doc/tools/mkhowto.sh +++ b/Doc/tools/mkhowto.sh @@ -165,7 +165,7 @@ l2hoption() { } cleanup() { - rm -f $1.aux $1.log $1.out $1.toc $1.bkm $1.idx $1.ilg $1.ind $1.syn + rm -f $1.aux $1.log $1.out $1.toc $1.bkm $1.idx $1.ilg $1.ind $1.syn $1.pla rm -f mod$1.idx mod$1.ilg mod$1.ind if [ ! "$BUILD_DVI" ] ; then rm -f $1.dvi