From da3ff0ce04613752aac7559ba6d12bc884d76340 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 18:11:05 +0000
Subject: Updated.

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

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 0a134a47..ebf58016 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -1,6 +1,7 @@
 ProofGeneral.log
 ProofGeneral.dvi
 ProofGeneral.ps
+ProofGeneral.ps.gz
 ProofGeneral.kys
 ProofGeneral.aux
 ProofGeneral.cp
-- 
cgit v1.2.3