[Gsrc-commit] trunk r8530: tesinfo.tex

[Carl Hansen]

------------------------------------------------------------
revno: 8530
revision-id: carlhansen@gnu.org-20220820150411-emp2t1hioktsmbkv
parent: carlhansen@gnu.org-20220819141756-88vkb3j22qnmz1pt
committer: Carl Hansen <carlhansen@gnu.org>
branch nick: trunk
timestamp: Sat 2022-08-20 08:04:11 -0700
message:
  tesinfo.tex
modified:
  doc/texinfo.tex                texinfo.tex-20210501180820-1twq5wdsrp9yr9h7-1

=== modified file 'doc/texinfo.tex'
--- a/doc/texinfo.tex   2022-08-18 16:19:45 +0000
+++ b/doc/texinfo.tex   2022-08-20 15:04:11 +0000
@@ -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-08-18.14}
+\def\texinfoversion{2022-08-20.13}
 %
 % Copyright 1985, 1986, 1988, 1990-2022 Free Software Foundation, Inc.
 %
@@ -725,32 +725,21 @@
   \dimen2 = \ht\strutbox
   \advance\dimen2 by \dp\strutbox
   \ifdim\dimen0 > \dimen2
-    %
-    % Do a \strut just to make the height of this box be normal, so the
-    % normal leading is inserted relative to the preceding line.
-    % And a page break here is fine.
-    \vtop to #1\mil{\strut\vfil}%
-    %
-    % TeX does not even consider page breaks if a penalty added to the
-    % main vertical list is 10000 or more.  But in order to see if the
-    % empty box we just added fits on the page, we must make it consider
-    % page breaks.  On the other hand, we don't want to actually break the
-    % page after the empty box.  So we use a penalty of 9999.
-    %
-    % There is an extremely small chance that TeX will actually break the
-    % page at this \penalty, if there are no other feasible breakpoints in
-    % sight.  (If the user is using lots of big @group commands, which
-    % almost-but-not-quite fill up a page, TeX will have a hard time doing
-    % good page breaking, for example.)  However, I could not construct an
-    % example where a page broke at this \penalty; if it happens in a real
-    % document, then we can reconsider our strategy.
+    % This is similar to the 'needspace' module in LaTeX.
+    % The first penalty allows a break if the end of the page is
+    % not too far away.  Following penalties and skips are discarded.
+    % Otherwise, require at least \dimen0 of vertical space.
+    %
+    % (We used to use a \vtop to reserve space, but this had spacing issues
+    % when followed by a section heading, as it was not a "discardable item".
+    % This also has the benefit of providing glue before the page break if
+    % there isn't enough space.)
+    \vskip0pt plus \dimen0
+    \penalty-100
+    \vskip0pt plus -\dimen0
+    \vskip \dimen0
     \penalty9999
-    %
-    % Back up by the size of the box, whether we did a page break or not.
-    \kern -#1\mil
-    %
-    % Do not allow a page break right after this kern.
-    \nobreak
+    \vskip -\dimen0\relax
   \fi
 }
 
@@ -10344,101 +10333,103 @@
 % least make most of the characters not bomb out.
 %
 \def\unicodechardefs{%
-  \DeclareUnicodeCharacter{0020}{ } % space
-  \DeclareUnicodeCharacter{0021}{\char"21}
-  \DeclareUnicodeCharacter{0022}{\char"22}
-  \DeclareUnicodeCharacter{0023}{\char"23}
-  \DeclareUnicodeCharacter{0024}{\char"24}
-  \DeclareUnicodeCharacter{0025}{\char"25}
-  \DeclareUnicodeCharacter{0026}{\char"26}
-  \DeclareUnicodeCharacter{0027}{\char"27}
-  \DeclareUnicodeCharacter{0028}{\char"28}
-  \DeclareUnicodeCharacter{0029}{\char"29}
-  \DeclareUnicodeCharacter{002A}{\char"2A}
-  \DeclareUnicodeCharacter{002B}{\char"2B}
-  \DeclareUnicodeCharacter{002C}{\char"2C}
-  \DeclareUnicodeCharacter{002D}{\char"2D}
-  \DeclareUnicodeCharacter{002E}{\char"2E}
-  \DeclareUnicodeCharacter{002F}{\char"2F}
-  \DeclareUnicodeCharacter{0030}{0}%
-  \DeclareUnicodeCharacter{0031}{1}%
-  \DeclareUnicodeCharacter{0032}{2}%
-  \DeclareUnicodeCharacter{0033}{3}%
-  \DeclareUnicodeCharacter{0034}{4}%
-  \DeclareUnicodeCharacter{0035}{5}%
-  \DeclareUnicodeCharacter{0036}{6}%
-  \DeclareUnicodeCharacter{0037}{7}%
-  \DeclareUnicodeCharacter{0038}{8}%
-  \DeclareUnicodeCharacter{0039}{9}%
-  \DeclareUnicodeCharacter{003A}{\char"3A}
-  \DeclareUnicodeCharacter{003B}{\char"3B}
-  \DeclareUnicodeCharacter{003C}{\char"3C}
-  \DeclareUnicodeCharacter{003D}{\char"3D}
-  \DeclareUnicodeCharacter{003E}{\char"3E}
-  \DeclareUnicodeCharacter{003F}{\char"3F}
-  \DeclareUnicodeCharacter{0040}{\char"40}
-  \DeclareUnicodeCharacter{0041}{A}%
-  \DeclareUnicodeCharacter{0042}{B}%
-  \DeclareUnicodeCharacter{0043}{C}%
-  \DeclareUnicodeCharacter{0044}{D}%
-  \DeclareUnicodeCharacter{0045}{E}%
-  \DeclareUnicodeCharacter{0046}{F}%
-  \DeclareUnicodeCharacter{0047}{G}%
-  \DeclareUnicodeCharacter{0048}{H}%
-  \DeclareUnicodeCharacter{0049}{I}%
-  \DeclareUnicodeCharacter{004A}{J}%
-  \DeclareUnicodeCharacter{004B}{K}%
-  \DeclareUnicodeCharacter{004C}{L}%
-  \DeclareUnicodeCharacter{004D}{M}%
-  \DeclareUnicodeCharacter{004E}{N}%
-  \DeclareUnicodeCharacter{004F}{O}%
-  \DeclareUnicodeCharacter{0050}{P}%
-  \DeclareUnicodeCharacter{0051}{Q}%
-  \DeclareUnicodeCharacter{0052}{R}%
-  \DeclareUnicodeCharacter{0053}{S}%
-  \DeclareUnicodeCharacter{0054}{T}%
-  \DeclareUnicodeCharacter{0055}{U}%
-  \DeclareUnicodeCharacter{0056}{V}%
-  \DeclareUnicodeCharacter{0057}{W}%
-  \DeclareUnicodeCharacter{0058}{X}%
-  \DeclareUnicodeCharacter{0059}{Y}%
-  \DeclareUnicodeCharacter{005A}{Z}%
-  \DeclareUnicodeCharacter{005B}{\char"5B}
-  \DeclareUnicodeCharacter{005C}{\char"5C}
-  \DeclareUnicodeCharacter{005D}{\char"5D}
-  \DeclareUnicodeCharacter{005E}{\char"5E}
-  \DeclareUnicodeCharacter{005F}{\char"5F}
-  \DeclareUnicodeCharacter{0060}{\char"60}
-  \DeclareUnicodeCharacter{0061}{a}%
-  \DeclareUnicodeCharacter{0062}{b}%
-  \DeclareUnicodeCharacter{0063}{c}%
-  \DeclareUnicodeCharacter{0064}{d}%
-  \DeclareUnicodeCharacter{0065}{e}%
-  \DeclareUnicodeCharacter{0066}{f}%
-  \DeclareUnicodeCharacter{0067}{g}%
-  \DeclareUnicodeCharacter{0068}{h}%
-  \DeclareUnicodeCharacter{0069}{i}%
-  \DeclareUnicodeCharacter{006A}{j}%
-  \DeclareUnicodeCharacter{006B}{k}%
-  \DeclareUnicodeCharacter{006C}{l}%
-  \DeclareUnicodeCharacter{006D}{m}%
-  \DeclareUnicodeCharacter{006E}{n}%
-  \DeclareUnicodeCharacter{006F}{o}%
-  \DeclareUnicodeCharacter{0070}{p}%
-  \DeclareUnicodeCharacter{0071}{q}%
-  \DeclareUnicodeCharacter{0072}{r}%
-  \DeclareUnicodeCharacter{0073}{s}%
-  \DeclareUnicodeCharacter{0074}{t}%
-  \DeclareUnicodeCharacter{0075}{u}%
-  \DeclareUnicodeCharacter{0076}{v}%
-  \DeclareUnicodeCharacter{0077}{w}%
-  \DeclareUnicodeCharacter{0078}{x}%
-  \DeclareUnicodeCharacter{0079}{y}%
-  \DeclareUnicodeCharacter{007A}{z}%
-  \DeclareUnicodeCharacter{007B}{\char"7B}
-  \DeclareUnicodeCharacter{007C}{\char"7C}
-  \DeclareUnicodeCharacter{007D}{\char"7D}
-  \DeclareUnicodeCharacter{007E}{\char"7E}
+  % Disable ASCII definitions, as with the current implementation, this
+  % makes all characters output literally with XeTeX, including @.
+  % \DeclareUnicodeCharacter{0020}{ } % space
+  % \DeclareUnicodeCharacter{0021}{\char"21 } % space to terminate number
+  % \DeclareUnicodeCharacter{0022}{\char"22 }
+  % \DeclareUnicodeCharacter{0023}{\char"23 }
+  % \DeclareUnicodeCharacter{0024}{\char"24 }
+  % \DeclareUnicodeCharacter{0025}{\char"25 }
+  % \DeclareUnicodeCharacter{0026}{\char"26 }
+  % \DeclareUnicodeCharacter{0027}{\char"27 }
+  % \DeclareUnicodeCharacter{0028}{\char"28 }
+  % \DeclareUnicodeCharacter{0029}{\char"29 }
+  % \DeclareUnicodeCharacter{002A}{\char"2A }
+  % \DeclareUnicodeCharacter{002B}{\char"2B }
+  % \DeclareUnicodeCharacter{002C}{\char"2C }
+  % \DeclareUnicodeCharacter{002D}{\char"2D }
+  % \DeclareUnicodeCharacter{002E}{\char"2E }
+  % \DeclareUnicodeCharacter{002F}{\char"2F }
+  % \DeclareUnicodeCharacter{0030}{0}%
+  % \DeclareUnicodeCharacter{0031}{1}%
+  % \DeclareUnicodeCharacter{0032}{2}%
+  % \DeclareUnicodeCharacter{0033}{3}%
+  % \DeclareUnicodeCharacter{0034}{4}%
+  % \DeclareUnicodeCharacter{0035}{5}%
+  % \DeclareUnicodeCharacter{0036}{6}%
+  % \DeclareUnicodeCharacter{0037}{7}%
+  % \DeclareUnicodeCharacter{0038}{8}%
+  % \DeclareUnicodeCharacter{0039}{9}%
+  % \DeclareUnicodeCharacter{003A}{\char"3A }
+  % \DeclareUnicodeCharacter{003B}{\char"3B }
+  % \DeclareUnicodeCharacter{003C}{\char"3C }
+  % \DeclareUnicodeCharacter{003D}{\char"3D }
+  % \DeclareUnicodeCharacter{003E}{\char"3E }
+  % \DeclareUnicodeCharacter{003F}{\char"3F }
+  % \DeclareUnicodeCharacter{0040}{\char"40 }
+  % \DeclareUnicodeCharacter{0041}{A}%
+  % \DeclareUnicodeCharacter{0042}{B}%
+  % \DeclareUnicodeCharacter{0043}{C}%
+  % \DeclareUnicodeCharacter{0044}{D}%
+  % \DeclareUnicodeCharacter{0045}{E}%
+  % \DeclareUnicodeCharacter{0046}{F}%
+  % \DeclareUnicodeCharacter{0047}{G}%
+  % \DeclareUnicodeCharacter{0048}{H}%
+  % \DeclareUnicodeCharacter{0049}{I}%
+  % \DeclareUnicodeCharacter{004A}{J}%
+  % \DeclareUnicodeCharacter{004B}{K}%
+  % \DeclareUnicodeCharacter{004C}{L}%
+  % \DeclareUnicodeCharacter{004D}{M}%
+  % \DeclareUnicodeCharacter{004E}{N}%
+  % \DeclareUnicodeCharacter{004F}{O}%
+  % \DeclareUnicodeCharacter{0050}{P}%
+  % \DeclareUnicodeCharacter{0051}{Q}%
+  % \DeclareUnicodeCharacter{0052}{R}%
+  % \DeclareUnicodeCharacter{0053}{S}%
+  % \DeclareUnicodeCharacter{0054}{T}%
+  % \DeclareUnicodeCharacter{0055}{U}%
+  % \DeclareUnicodeCharacter{0056}{V}%
+  % \DeclareUnicodeCharacter{0057}{W}%
+  % \DeclareUnicodeCharacter{0058}{X}%
+  % \DeclareUnicodeCharacter{0059}{Y}%
+  % \DeclareUnicodeCharacter{005A}{Z}%
+  % \DeclareUnicodeCharacter{005B}{\char"5B }
+  % \DeclareUnicodeCharacter{005C}{\char"5C }
+  % \DeclareUnicodeCharacter{005D}{\char"5D }
+  % \DeclareUnicodeCharacter{005E}{\char"5E }
+  % \DeclareUnicodeCharacter{005F}{\char"5F }
+  % \DeclareUnicodeCharacter{0060}{\char"60 }
+  % \DeclareUnicodeCharacter{0061}{a}%
+  % \DeclareUnicodeCharacter{0062}{b}%
+  % \DeclareUnicodeCharacter{0063}{c}%
+  % \DeclareUnicodeCharacter{0064}{d}%
+  % \DeclareUnicodeCharacter{0065}{e}%
+  % \DeclareUnicodeCharacter{0066}{f}%
+  % \DeclareUnicodeCharacter{0067}{g}%
+  % \DeclareUnicodeCharacter{0068}{h}%
+  % \DeclareUnicodeCharacter{0069}{i}%
+  % \DeclareUnicodeCharacter{006A}{j}%
+  % \DeclareUnicodeCharacter{006B}{k}%
+  % \DeclareUnicodeCharacter{006C}{l}%
+  % \DeclareUnicodeCharacter{006D}{m}%
+  % \DeclareUnicodeCharacter{006E}{n}%
+  % \DeclareUnicodeCharacter{006F}{o}%
+  % \DeclareUnicodeCharacter{0070}{p}%
+  % \DeclareUnicodeCharacter{0071}{q}%
+  % \DeclareUnicodeCharacter{0072}{r}%
+  % \DeclareUnicodeCharacter{0073}{s}%
+  % \DeclareUnicodeCharacter{0074}{t}%
+  % \DeclareUnicodeCharacter{0075}{u}%
+  % \DeclareUnicodeCharacter{0076}{v}%
+  % \DeclareUnicodeCharacter{0077}{w}%
+  % \DeclareUnicodeCharacter{0078}{x}%
+  % \DeclareUnicodeCharacter{0079}{y}%
+  % \DeclareUnicodeCharacter{007A}{z}%
+  % \DeclareUnicodeCharacter{007B}{\char"7B }
+  % \DeclareUnicodeCharacter{007C}{\char"7C }
+  % \DeclareUnicodeCharacter{007D}{\char"7D }
+  % \DeclareUnicodeCharacter{007E}{\char"7E }
   % \DeclareUnicodeCharacter{007F}{} % DEL
   %
   \DeclareUnicodeCharacter{00A0}{\tie}%