%% TeX macros to handle Texinfo files.
-%% $Id: texinfo.tex,v 2.211 1997/07/05 21:16:39 karl Exp karl $
+%% $Id: texinfo.tex,v 2.212 1997/07/05 21:51:30 karl Exp rms $
% Copyright (C) 1985, 86, 88, 90, 91, 92, 93,
% 94, 95, 96, 97 Free Software Foundation, Inc.
% This automatically updates the version number based on RCS.
\def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}}
-\deftexinfoversion$Revision: 2.211 $
+\deftexinfoversion$Revision: 2.212 $
\message{Loading texinfo package [Version \texinfoversion]:}
% If in a .fmt file, print the version number
\hyphenation{ap-pen-dix}
\hyphenation{mini-buf-fer mini-buf-fers}
\hyphenation{eshell}
+\hyphenation{white-space}
% Margin to add to right of even pages, to left of odd pages.
\newdimen \bindingoffset