From 25771d50dd03b2831db0f236ade7860ca412e67f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Mar 1999 14:30:40 +0000
Subject: Fixed.

---
 doc/.cvsignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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