summaryrefslogtreecommitdiffstats
path: root/Doc
diff options
context:
space:
mode:
authorFred Drake <fdrake@acm.org>1999-03-02 16:22:26 (GMT)
committerFred Drake <fdrake@acm.org>1999-03-02 16:22:26 (GMT)
commit75ab7a6fa4885d511bf4e2f60f9cfa2be4620b70 (patch)
tree2ed936722473b06f3195246fff630e64fa08dd97 /Doc
parent521835c541a320a9fcc01099ffb02eb69b96b67c (diff)
downloadcpython-75ab7a6fa4885d511bf4e2f60f9cfa2be4620b70.zip
cpython-75ab7a6fa4885d511bf4e2f60f9cfa2be4620b70.tar.gz
cpython-75ab7a6fa4885d511bf4e2f60f9cfa2be4620b70.tar.bz2
Clean up *.pla files -- platform annotation information.
Diffstat (limited to 'Doc')
-rwxr-xr-xDoc/tools/mkhowto.sh2
1 files changed, 1 insertions, 1 deletions
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 @@ 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