From 1cb4b2c69018664157e7038355c95d17fe058f71 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 17:55:56 +0000
Subject: Updated

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

(limited to 'doc')

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 2c915f37..ae96fdec 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -1,6 +1,7 @@
 ProofGeneral.log
 ProofGeneral.dvi
 ProofGeneral.ps
+ProofGeneral.pdf
 ProofGeneral.ps.gz
 ProofGeneral.kys
 ProofGeneral.aux
-- 
cgit v1.2.3