From 3588aca7b6d5edebcde7a32e24d43531c35d85aa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 14:10:31 +0000
Subject: Updated

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

(limited to 'doc')

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 961dd664..145b4f15 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -14,20 +14,9 @@ ProofGeneral.info
 ProofGeneral.cps
 ProofGeneral.fns
 ProofGeneral.vrs           
-NewDoc.log
-NewDoc.dvi
-NewDoc.aux
-NewDoc.cp
-NewDoc.fn
-NewDoc.vr
-NewDoc.tp
-NewDoc.ky
-NewDoc.pg
-NewDoc.toc
-NewDoc.info
-NewDoc.cps
-NewDoc.fns
-NewDoc.vrs
-NewDoc.ps
-NewDoc.kys
+ProofGeneral.info-*
+
+
+
+
 
-- 
cgit v1.2.3