Ignore *.pla -- the platform annotation information.
diff --git a/Doc/paper-a4/.cvsignore b/Doc/paper-a4/.cvsignore
index 1d7259e..be78131 100644
--- a/Doc/paper-a4/.cvsignore
+++ b/Doc/paper-a4/.cvsignore
@@ -8,6 +8,6 @@
 *.ilg
 *.pdf
 *.bkm
-*.tar.gz
 *.syn
+*.pla
 README