Mercurial > gnulib

comparison build-aux/texinfo.tex @ 40186:8964917f9574

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
autoupdate
author Karl Berry <karl@freefriends.org>
date Mon, 18 Feb 2019 08:02:49 -0800
parents 8d1216613135
children 24f6637d57d0
comparison
equal deleted inserted replaced
40185:a7fe9f54c3df 40186:8964917f9574
1 % texinfo.tex -- TeX macros to handle Texinfo files. 1 % texinfo.tex -- TeX macros to handle Texinfo files.
2 % 2 %
3 % Load plain if necessary, i.e., if running under initex. 3 % Load plain if necessary, i.e., if running under initex.
4 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi 4 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
5 % 5 %
6 \def\texinfoversion{2019-02-01.12} 6 \def\texinfoversion{2019-02-16.14}
7 7
8 % 8 %
9 % Copyright 1985, 1986, 1988, 1990-2019 Free Software Foundation, Inc. 9 % Copyright 1985, 1986, 1988, 1990-2019 Free Software Foundation, Inc.
10 % 10 %
11 % This texinfo.tex file is free software: you can redistribute it and/or 11 % This texinfo.tex file is free software: you can redistribute it and/or
5870 \doublecolumnhsize = \hsize 5870 \doublecolumnhsize = \hsize
5871 \advance\doublecolumnhsize by -.04154\hsize 5871 \advance\doublecolumnhsize by -.04154\hsize
5872 \divide\doublecolumnhsize by 2 5872 \divide\doublecolumnhsize by 2
5873 \hsize = \doublecolumnhsize 5873 \hsize = \doublecolumnhsize
5874 % 5874 %
5875 % Double the \vsize as well.
5876 \advance\vsize by -\ht\partialpage
5877 \vsize = 2\vsize
5878 %
5879 % For the benefit of balancing columns
5880 \advance\baselineskip by 0pt plus 0.5pt
5881 }
5882
5883 % The double-column output routine for all double-column pages except
5884 % the last, which is done by \balancecolumns.
5885 %
5886 \def\doublecolumnout{%
5887 %
5888 \splittopskip=\topskip \splitmaxdepth=\maxdepth
5889 % Get the available space for the double columns -- the normal 5875 % Get the available space for the double columns -- the normal
5890 % (undoubled) page height minus any material left over from the 5876 % (undoubled) page height minus any material left over from the
5891 % previous page. 5877 % previous page.
5878 \advance\vsize by -\ht\partialpage
5879 \vsize = 2\vsize
5880 %
5881 % For the benefit of balancing columns
5882 \advance\baselineskip by 0pt plus 0.5pt
5883 }
5884
5885 % The double-column output routine for all double-column pages except
5886 % the last, which is done by \balancecolumns.
5887 %
5888 \def\doublecolumnout{%
5889 %
5890 \splittopskip=\topskip \splitmaxdepth=\maxdepth
5892 \dimen@ = \vsize 5891 \dimen@ = \vsize
5893 \divide\dimen@ by 2 5892 \divide\dimen@ by 2
5894 % 5893 %
5895 % box0 will be the left-hand column, box2 the right. 5894 % box0 will be the left-hand column, box2 the right.
5896 \setbox0=\vsplit\PAGE to\dimen@ \setbox2=\vsplit\PAGE to\dimen@ 5895 \setbox0=\vsplit\PAGE to\dimen@ \setbox2=\vsplit\PAGE to\dimen@
5897 \global\advance\vsize by 2\ht\partialpage 5896 \global\advance\vsize by 2\ht\partialpage
5898 \onepageout\pagesofar 5897 \onepageout\pagesofar % empty except for the first time we are called
5899 \unvbox\PAGE 5898 \unvbox\PAGE
5900 \penalty\outputpenalty 5899 \penalty\outputpenalty
5901 } 5900 }
5902 % 5901 %
5903 % Re-output the contents of the output page -- any previous material, 5902 % Re-output the contents of the output page -- any previous material,
5976 % Only called for the last of the double column material. \doublecolumnout 5975 % Only called for the last of the double column material. \doublecolumnout
5977 % does the others. 5976 % does the others.
5978 \def\balancecolumns{% 5977 \def\balancecolumns{%
5979 \setbox0 = \vbox{\unvbox\PAGE}% like \box255 but more efficient, see p.120. 5978 \setbox0 = \vbox{\unvbox\PAGE}% like \box255 but more efficient, see p.120.
5980 \dimen@ = \ht0 5979 \dimen@ = \ht0
5981 \advance\dimen@ by \topskip 5980 \ifdim\dimen@<7\baselineskip
5982 \advance\dimen@ by-\baselineskip
5983 \ifdim\dimen@<5\baselineskip
5984 % Don't split a short final column in two. 5981 % Don't split a short final column in two.
5985 \setbox2=\vbox{}% 5982 \setbox2=\vbox{}%
5986 \global\setbox\balancedcolumns=\vbox{\pagesofar}% 5983 \global\setbox\balancedcolumns=\vbox{\pagesofar}%
5987 \else 5984 \else
5985 % double the leading vertical space
5986 \advance\dimen@ by \topskip
5987 \advance\dimen@ by-\baselineskip
5988 \divide\dimen@ by 2 % target to split to 5988 \divide\dimen@ by 2 % target to split to
5989 \dimen@ii = \dimen@ 5989 \dimen@ii = \dimen@
5990 \splittopskip = \topskip 5990 \splittopskip = \topskip
5991 % Loop until left column is at least as high as the right column. 5991 % Loop until left column is at least as high as the right column.
5992 {% 5992 {%