diff options
author | Karl Berry <karl@gnu.org> | 1996-08-02 15:12:28 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1996-08-02 15:12:28 +0000 |
commit | 9a01894149a5e0c14a9138271ac34cc47f996104 (patch) | |
tree | 66e2648f5fc226de06e5e657dddc30b46d8d75c2 /manual | |
parent | e75154a665018d5756196275634704c95476ea6b (diff) | |
download | glibc-9a01894149a5e0c14a9138271ac34cc47f996104.zip glibc-9a01894149a5e0c14a9138271ac34cc47f996104.tar.gz glibc-9a01894149a5e0c14a9138271ac34cc47f996104.tar.bz2 |
Restoring good RCS id.
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 0db7382..415aca7 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 |