diff options
Diffstat (limited to 'texinfo/doc/texinfo.tex')
| -rw-r--r-- | texinfo/doc/texinfo.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/texinfo/doc/texinfo.tex b/texinfo/doc/texinfo.tex index 0c69f8839c1..124d337be42 100644 --- a/texinfo/doc/texinfo.tex +++ b/texinfo/doc/texinfo.tex @@ -1,5 +1,5 @@ %% TeX macros to handle Texinfo files. -%% $Id: texinfo.tex,v 1.1 1998/03/23 04:42:12 law Exp $ +%% $Id: texinfo.tex,v 1.2 1998/03/24 18:05:39 law Exp $ % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, % 94, 95, 96, 97 Free Software Foundation, Inc. @@ -36,7 +36,7 @@ % This automatically updates the version number based on RCS. \def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}} -\deftexinfoversion$Revision: 1.1 $ +\deftexinfoversion$Revision: 1.2 $ \message{Loading texinfo package [Version \texinfoversion]:} % If in a .fmt file, print the version number |