diff options
-rw-r--r-- | make.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make.texinfo b/make.texinfo index 3a19ee1..844c19e 100644 --- a/make.texinfo +++ b/make.texinfo @@ -8,7 +8,7 @@ @c FSF publishers: format makebook.texi instead of using this file directly. @set RCSID $Id$ -@set EDITION 0.47 DRAFT +@set EDITION 0.47 @set VERSION 3.72 Beta @set UPDATED 1 November 1994 @set UPDATE-MONTH November 1994 |