| commit | 75ab7a6fa4885d511bf4e2f60f9cfa2be4620b70 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Tue Mar 02 16:22:26 1999 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Tue Mar 02 16:22:26 1999 +0000 |
| tree | 2ed936722473b06f3195246fff630e64fa08dd97 | |
| parent | 521835c541a320a9fcc01099ffb02eb69b96b67c [diff] |
Clean up *.pla files -- platform annotation information.
diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 373430d..76bbda6 100755 --- a/Doc/tools/mkhowto.sh +++ b/Doc/tools/mkhowto.sh
@@ -165,7 +165,7 @@ } 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