From 3259b182e3726d5a31e35489ad41f7fc747c32f3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Oct 1998 14:29:24 +0000
Subject: Added .ignore for documentation targets and intermediates.

---
 doc/.cvsignore | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 doc/.cvsignore

diff --git a/doc/.cvsignore b/doc/.cvsignore
new file mode 100644
index 00000000..3e902e63
--- /dev/null
+++ b/doc/.cvsignore
@@ -0,0 +1,14 @@
+ProofGeneral.log
+ProofGeneral.dvi
+ProofGeneral.aux
+ProofGeneral.cp
+ProofGeneral.fn
+ProofGeneral.vr
+ProofGeneral.tp
+ProofGeneral.ky
+ProofGeneral.pg
+ProofGeneral.toc
+ProofGeneral.info
+ProofGeneral.cps
+ProofGeneral.fns
+ProofGeneral.vrs           
\ No newline at end of file
-- 
cgit v1.2.3