From 01b2aab0c63b451dc6c488ae4eb666c70acb55eb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 26 Nov 1998 20:43:10 +0000
Subject: Added HTML files.

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

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 145b4f15..b21fadf4 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -15,8 +15,6 @@ ProofGeneral.cps
 ProofGeneral.fns
 ProofGeneral.vrs           
 ProofGeneral.info-*
-
-
-
-
-
+ProofGeneral.html
+ProofGeneral_toc.html
+ProofGeneral_foot.html
-- 
cgit v1.2.3