From 2fc559b578674641940c037de958617b778e3026 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Nov 1998 13:46:19 +0000
Subject: Added NewDoc temporaries

---
 doc/.cvsignore | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 3e902e63..4b3b22ab 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -11,4 +11,18 @@ ProofGeneral.toc
 ProofGeneral.info
 ProofGeneral.cps
 ProofGeneral.fns
-ProofGeneral.vrs           
\ No newline at end of file
+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
-- 
cgit v1.2.3