Ignore *.pla -- the platform annotation information. Also, remove it for

'make clean'.

diff --git a/Doc/paper-letter/.cvsignore b/Doc/paper-letter/.cvsignore
index 1d7259e193689ff714d52ca14c195df57a2de50f..be781310e48cd64a28c0a023a1ff00da3a459ae3 100644 (file)
--- a/Doc/paper-letter/.cvsignore
+++ b/Doc/paper-letter/.cvsignore
@@ -8,6 +8,6 @@
 *.ilg
 *.pdf
 *.bkm
-*.tar.gz
 *.syn
+*.pla
 README

diff --git a/Doc/paper-letter/Makefile b/Doc/paper-letter/Makefile
index f4fcb59d9da5899626606226010623044b6cd6f5..7f5f27cf97b896d879819f64cdf9d2bcd9a7e38a 100644 (file)
--- a/Doc/paper-letter/Makefile
+++ b/Doc/paper-letter/Makefile
@@ -134,7 +134,7 @@ tut.pdf: $(TUTFILES)
 
 
 clean:
-       rm -f *~ *.aux *.idx *.ilg *.ind *.log *.toc *.bkm *.syn
+       rm -f *~ *.aux *.idx *.ilg *.ind *.log *.toc *.bkm *.syn *.pla
 
 clobber: clean
        rm -f $(DVIFILES) $(PSFILES) $(PDFFILES)