From ed4cb92674704fac386cbe418397ee7e78c1adb7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 19 Jun 2007 12:16:42 +0000
Subject: New subdirs for html

---
 doc/.cvsignore | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 6a126a00..c667379c 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -18,10 +18,8 @@ ProofGeneral.fns
 ProofGeneral.vrs           
 ProofGeneral.info-*
 ProofGeneral.txt
-ProofGeneral_*.html
-ProofGeneral_toc.html
-ProofGeneral_foot.html
-PG-adapting.log
+ProofGeneral
+PG-adapting
 PG-adapting.dvi
 PG-adapting.ps
 PG-adapting.pdf
-- 
cgit v1.2.3