From 577edca27b0fd7574f7af7f761752463056eace5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Nov 1998 17:33:41 +0000
Subject: Added RCS stamp to doc.

---
 doc/NewDoc.texi | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/NewDoc.texi b/doc/NewDoc.texi
index 4fc0deb6..6b80be11 100644
--- a/doc/NewDoc.texi
+++ b/doc/NewDoc.texi
@@ -35,6 +35,7 @@
 @set xemacsversion 20.4
 @set fsfversion 20.2
 @set last-update November 1998
+@set rcsid $Id$
 
 @ifinfo
 @format
@@ -92,6 +93,8 @@ preserved on all copies.
 This manual documents Proof General, Version @value{version}, for use
 with XEmacs @value{xemacsversion} and FSF GNU Emacs @value{fsfversion}
 or later versions.
+
+Version control stamp: @code{@value{rcsid}}
 @end titlepage
 
 @page
-- 
cgit v1.2.3