aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Aspinall1998-11-20 17:33:41 +0000
committerDavid Aspinall1998-11-20 17:33:41 +0000
commit577edca27b0fd7574f7af7f761752463056eace5 (patch)
tree7863eec766de4bfe871d0aaf95f0a3e523822b94
parent67c5f302e367b6ed8a819fc1adf18b88901bdc60 (diff)
Added RCS stamp to doc.
-rw-r--r--doc/NewDoc.texi3
1 files changed, 3 insertions, 0 deletions
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