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 | a11edf83d4cac3c7a186dc773ceafe5e49339dd1 (patch) | |
| tree | 37b847efb15ebaf9dff5a1b5cbdb3adecd55dda7 /gcc/texinfo.tex | |
| parent | 1f273ee8d5003de9f29edb3c0130d5de90b69cb3 (diff) | |
| download | gcc-a11edf83d4cac3c7a186dc773ceafe5e49339dd1.zip gcc-a11edf83d4cac3c7a186dc773ceafe5e49339dd1.tar.gz gcc-a11edf83d4cac3c7a186dc773ceafe5e49339dd1.tar.bz2 | |
Restoring good RCS id.
From-SVN: r12581
Diffstat (limited to 'gcc/texinfo.tex')
| -rw-r--r-- | gcc/texinfo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/texinfo.tex b/gcc/texinfo.tex index 74a28254..0db7382 100644 --- a/gcc/texinfo.tex +++ b/gcc/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.2 $ +\deftexinfoversion$Revision: 1.3 $ \message{Loading texinfo package [Version \texinfoversion]:} % If in a .fmt file, print the version number |