diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2020-03-15 20:13:14 +0200 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2020-03-15 20:13:14 +0200 |
commit | 233e90286ddd436dca2d52201dfc9317c8935dc2 (patch) | |
tree | f74c4caa70ce5d7e97b19dce6144963b85b48f8e | |
parent | 2a4285b8a4aa011d7603f9cd26fbb7bc127a5899 (diff) | |
download | egawk-233e90286ddd436dca2d52201dfc9317c8935dc2.tar.gz egawk-233e90286ddd436dca2d52201dfc9317c8935dc2.tar.bz2 egawk-233e90286ddd436dca2d52201dfc9317c8935dc2.zip |
Update texinfo.tex.
-rw-r--r-- | doc/ChangeLog | 4 | ||||
-rw-r--r-- | doc/texinfo.tex | 32 |
2 files changed, 17 insertions, 19 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 50fd9964..4d631c77 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,7 @@ +2020-03-15 Arnold D. Robbins <arnold@skeeve.com> + + * texinfo.tex: Updated, via GNULIB. + 2020-03-09 Andrew J. Schorr <aschorr@telemetry-investments.com> * gawktexi.in (@val_str_asc, @val_num_asc, @val_str_desc, diff --git a/doc/texinfo.tex b/doc/texinfo.tex index 1ea515b2..deca5991 100644 --- a/doc/texinfo.tex +++ b/doc/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{2019-09-24.13} +\def\texinfoversion{2020-02-11.09} % % Copyright 1985, 1986, 1988, 1990-2019 Free Software Foundation, Inc. % @@ -373,12 +373,12 @@ % Common context changes for both heading and footing. % Do this outside of the \shipout so @code etc. will be expanded in % the headline as they should be, not taken literally (outputting ''code). - \def\commmonheadfootline{\let\hsize=\txipagewidth \texinfochars} + \def\commonheadfootline{\let\hsize=\txipagewidth \texinfochars} % - \global\setbox\headlinebox = \vbox{\commmonheadfootline \makeheadline}% + \global\setbox\headlinebox = \vbox{\commonheadfootline \makeheadline}% % \ifodd\pageno \getoddfootingmarks \else \getevenfootingmarks \fi - \global\setbox\footlinebox = \vbox{\commmonheadfootline \makefootline}% + \global\setbox\footlinebox = \vbox{\commonheadfootline \makefootline}% % {% % Set context for writing to auxiliary files like index files. @@ -3107,9 +3107,9 @@ end % preferrable one choice is over the other. \def\urefallowbreak{% \allowbreak - \hskip 0pt plus 4 em\relax - \penalty100 - \hskip 0pt plus -4 em\relax + \hskip 0pt plus 2 em\relax + \penalty300 + \hskip 0pt plus -2 em\relax } \urefbreakstyle after @@ -8955,17 +8955,11 @@ might help (with 'rm \jobname.?? \jobname.??s')% \else % Reference within this manual. % - % _ (for example) has to be the character _ for the purposes of the - % control sequence corresponding to the node, but it has to expand - % into the usual \leavevmode...\vrule stuff for purposes of - % printing. So we \turnoffactive for the \refx-snt, back on for the - % printing, back off for the \refx-pg. - {\turnoffactive - % Only output a following space if the -snt ref is nonempty; for - % @unnumbered and @anchor, it won't be. - \setbox2 = \hbox{\ignorespaces \refx{#1-snt}{}}% - \ifdim \wd2 > 0pt \refx{#1-snt}\space\fi - }% + % Only output a following space if the -snt ref is nonempty; for + % @unnumbered and @anchor, it won't be. + \setbox2 = \hbox{\ignorespaces \refx{#1-snt}{}}% + \ifdim \wd2 > 0pt \refx{#1-snt}\space\fi + % % output the `[mynode]' via the macro below so it can be overridden. \xrefprintnodename\printedrefname % @@ -9055,7 +9049,7 @@ might help (with 'rm \jobname.?? \jobname.??s')% \requireauxfile {% \indexnofonts - \otherbackslash + \turnoffactive \def\value##1{##1}% \expandafter\global\expandafter\let\expandafter\thisrefX \csname XR#1\endcsname |