diff options
Diffstat (limited to 'Build/source/build-aux')
| -rw-r--r-- | Build/source/build-aux/texinfo.tex | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Build/source/build-aux/texinfo.tex b/Build/source/build-aux/texinfo.tex index 6e3de226030..0820b750b9a 100644 --- a/Build/source/build-aux/texinfo.tex +++ b/Build/source/build-aux/texinfo.tex @@ -3,7 +3,7 @@ % Load plain if necessary, i.e., if running under initex. \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi % -\def\texinfoversion{2022-09-01.06} +\def\texinfoversion{2022-09-03.12} % % Copyright 1985, 1986, 1988, 1990-2022 Free Software Foundation, Inc. % @@ -4363,8 +4363,7 @@ $$% % undo it ourselves. \def\headitemfont{\b}% for people to use in the template row; not changeable \def\headitem{% - \checkenv\multitable - \crcr + \crcr % must appear first \gdef\headitemcrhook{\nobreak}% attempt to avoid page break after headings \global\everytab={\bf}% can't use \headitemfont since the parsing differs \the\everytab % for the first item |