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

---
 doc/PG-adapting.texi  | 2 +-
 doc/ProofGeneral.texi | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index bd265a6a..d08dce25 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -124,7 +124,7 @@ more details.
 
 Visit Proof General on the web at @code{http://proofgeneral.inf.ed.ac.uk}
 
-Version control: @code{@value{rcsid}}
+@c (commented; dates from CVS) Version control: @code{@value{rcsid}}
 @end titlepage
 
 @page
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