[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated: * doc/texinfo.tex (\need): End with a \penalty0 s
From: |
Gavin D. Smith |
Subject: |
branch master updated: * doc/texinfo.tex (\need): End with a \penalty0 so that \safewhatsit and \dobreak do not remove negative skip, leading to excessive space before section heading. Report from Werner Lemberg. |
Date: |
Sat, 20 Aug 2022 14:16:19 -0400 |
This is an automated email from the git hooks/post-receive script.
gavin pushed a commit to branch master
in repository texinfo.
The following commit(s) were added to refs/heads/master by this push:
new efb13242e9 * doc/texinfo.tex (\need): End with a \penalty0 so that
\safewhatsit and \dobreak do not remove negative skip, leading to excessive
space before section heading. Report from Werner Lemberg.
efb13242e9 is described below
commit efb13242e984b73e4fd10902be6fbc9dc0c9f841
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sat Aug 20 19:16:07 2022 +0100
* doc/texinfo.tex (\need):
End with a \penalty0 so that \safewhatsit and \dobreak do
not remove negative skip, leading to excessive space before
section heading. Report from Werner Lemberg.
---
ChangeLog | 7 +++++++
doc/texinfo.tex | 5 +++--
2 files changed, 10 insertions(+), 2 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index b08deca40b..1dc16e0cc1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2022-08-20 Gavin Smith <gavinsmith0123@gmail.com>
+
+ * doc/texinfo.tex (\need):
+ End with a \penalty0 so that \safewhatsit and \dobreak do
+ not remove negative skip, leading to excessive space before
+ section heading. Report from Werner Lemberg.
+
2022-08-20 Gavin Smith <gavinsmith0123@gmail.com>
@U for ASCII chars again
diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index 425ba82b31..7d00f0973e 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{2022-08-20.16}
+\def\texinfoversion{2022-08-20.18}
%
% Copyright 1985, 1986, 1988, 1990-2022 Free Software Foundation, Inc.
%
@@ -739,7 +739,8 @@ where each line of input produces a line of output.}
\vskip0pt plus -\dimen0
\vskip \dimen0
\penalty9999
- \vskip -\dimen0\relax
+ \vskip -\dimen0
+ \penalty0\relax % this hides the above glue from \safewhatsit and \dobreak
\fi
}
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch master updated: * doc/texinfo.tex (\need): End with a \penalty0 so that \safewhatsit and \dobreak do not remove negative skip, leading to excessive space before section heading. Report from Werner Lemberg.,
Gavin D. Smith <=