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 | |
| parent | e75154a665018d5756196275634704c95476ea6b (diff) | |
Restoring good RCS id.
| -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 |