From a6b9bd585faed3976649d762dfda906a027ff4aa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 14:05:50 +0000
Subject: Updated

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

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