diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/texinfo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/texinfo.tex b/manual/texinfo.tex index 0db7382ea0..415aca71d0 100644 --- a/manual/texinfo.tex +++ b/manual/texinfo.tex @@ -35,7 +35,7 @@ % This automatically updates the version number based on RCS. \def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}} -\deftexinfoversion$Revision: 1.3 $ +\deftexinfoversion$Revision: 2.176 $ \message{Loading texinfo package [Version \texinfoversion]:} % If in a .fmt file, print the version number |