From ec3de09bdb3b3ddb6504232609a4a7b8c46cce78 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Nov 1999 19:22:05 +0000
Subject: Updated

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

(limited to 'doc')

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 5966f115..2c915f37 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -16,8 +16,9 @@ ProofGeneral.cps
 ProofGeneral.fns
 ProofGeneral.vrs           
 ProofGeneral.info-*
-ProofGeneral.eps
 ProofGeneral.txt
 ProofGeneral_*.html
 ProofGeneral_toc.html
 ProofGeneral_foot.html
+ProofGeneralPortrait.eps
+ProofGeneralPortrait.pdf
-- 
cgit v1.2.3