From 658fc481653d42df65330dcf30f3132e8f5cea88 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Sun, 18 Sep 2016 21:22:07 +0200
Subject: Comment-out the rcsid ($Id$) that dates from CVS.

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

(limited to 'doc/ProofGeneral.texi')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 7c62debd..177a0b1e 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -130,7 +130,7 @@ Visit Proof General on the web at @code{http://proofgeneral.inf.ed.ac.uk}
 
 @sp 1
 
-@code{@value{rcsid}}
+@c (commented; dates from CVS) @code{@value{rcsid}}
 @end titlepage
 
 @page
-- 
cgit v1.2.3