Clean up *.pla files -- platform annotation information.

freddrake · freddrake · commit 75ab7a6fa488 · 1999-03-02T16:22:26.000Z
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -165,7 +165,7 @@ l2hoption() {`
`165`	`165`	`}`
`166`	`166`
`167`	`167`	`cleanup() {`
`168`		`- rm -f $1.aux $1.log $1.out $1.toc $1.bkm $1.idx $1.ilg $1.ind $1.syn`
	`168`	`+ rm -f $1.aux $1.log $1.out $1.toc $1.bkm $1.idx $1.ilg $1.ind $1.syn $1.pla`
`169`	`169`	`rm -f mod$1.idx mod$1.ilg mod$1.ind`
`170`	`170`	`if [ ! "$BUILD_DVI" ] ; then`
`171`	`171`	`rm -f $1.dvi`