diff options
-rw-r--r-- | manual/texinfo.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/manual/texinfo.tex b/manual/texinfo.tex index f9254e7734..c79e160eac 100644 --- a/manual/texinfo.tex +++ b/manual/texinfo.tex @@ -1,5 +1,5 @@ %% TeX macros to handle Texinfo files. -%% $Id: texinfo.tex,v 2.193 1996/11/19 21:11:43 karl Exp $ +%% $Id: texinfo.tex,v 2.194 1996/12/17 06:25:17 eggert Exp $ % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, % 94, 95, 1996 Free Software Foundation, Inc. @@ -36,7 +36,7 @@ % This automatically updates the version number based on RCS. \def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}} -\deftexinfoversion$Revision: 2.193 $ +\deftexinfoversion$Revision: 2.194 $ \message{Loading texinfo package [Version \texinfoversion]:} % If in a .fmt file, print the version number @@ -2074,7 +2074,7 @@ July\or August\or September\or October\or November\or December\fi % @multitable @columnfractions .11 .89 % @item @code{#} % @tab Legal holiday which is valid in major parts of the whole country. - % Is automatically provided with highlighing sequences respectively marking + % Is automatically provided with highlighting sequences respectively marking % characters. \noindent\ignorespaces##\unskip\multistrut}\cr % \everycr will reset column counter, \colcount, at the end of |