diff options
Diffstat (limited to 'doc/texinfo.tex')
| -rw-r--r-- | doc/texinfo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/texinfo.tex b/doc/texinfo.tex index 369e52843..e9b8306de 100644 --- a/doc/texinfo.tex +++ b/doc/texinfo.tex @@ -24,7 +24,7 @@ % This automatically updates the version number based on RCS. \def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}} -\deftexinfoversion$Revision: 1.2 $ +\deftexinfoversion$Revision: 1.3 $ \message{Loading texinfo package [Version \texinfoversion]:} % Print the version number if in a .fmt file. |