diff options
| -rw-r--r-- | make.texinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make.texinfo b/make.texinfo index c57b64e..08a2f18 100644 --- a/make.texinfo +++ b/make.texinfo @@ -7,6 +7,7 @@ @c FSF publishers: format makebook.texi instead of using this file directly. +@set RCSID $Id$ @set EDITION 0.45 @set VERSION 3.71 Beta @set UPDATED 11 February 1994 |