From a64465fd86a5c9ee5e684835c7c38b400f11c72d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Nov 1998 13:47:04 +0000
Subject: A few more

---
 doc/.cvsignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 4b3b22ab..961dd664 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -1,5 +1,7 @@
 ProofGeneral.log
 ProofGeneral.dvi
+ProofGeneral.ps
+ProofGeneral.kys
 ProofGeneral.aux
 ProofGeneral.cp
 ProofGeneral.fn
@@ -26,3 +28,6 @@ NewDoc.info
 NewDoc.cps
 NewDoc.fns
 NewDoc.vrs
+NewDoc.ps
+NewDoc.kys
+
-- 
cgit v1.2.3