branch master updated: * doc/texinfo.tex (\summarycontents): Set \extrasecnoskip to restore extra space in the summary contents.

[Gavin D. Smith]

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 7da431cdfc * doc/texinfo.tex (\summarycontents): Set \extrasecnoskip 
to restore extra space in the summary contents.
7da431cdfc is described below

commit 7da431cdfcf71489b3f10669f87cd1db8b1ec834
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Wed Jul 26 18:44:30 2023 +0100

    * doc/texinfo.tex (\summarycontents): Set \extrasecnoskip to
    restore extra space in the summary contents.
---
 ChangeLog       | 5 +++++
 doc/texinfo.tex | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index c94783e67f..3df4e615bc 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2023-07-26  Gavin Smith <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.tex (\summarycontents): Set \extrasecnoskip to
+       restore extra space in the summary contents.
+
 2023-07-26  Gavin Smith <gavinsmith0123@gmail.com>
 
        TOC section number spacing
diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index 479253515d..c8f7699b49 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{2023-07-26.17}
+\def\texinfoversion{2023-07-26.18}
 %
 % Copyright 1985, 1986, 1988, 1990-2023 Free Software Foundation, Inc.
 %
@@ -6829,6 +6829,7 @@ might help (with 'rm \jobname.?? \jobname.??s')%
     \rm
     \hyphenpenalty = 10000
     \advance\baselineskip by 1pt % Open it up a little.
+    \extrasecnoskip=0.4pt
     \def\numsecentry##1##2##3##4{}
     \let\appsecentry = \numsecentry
     \let\unnsecentry = \numsecentry
@@ -6911,7 +6912,6 @@ might help (with 'rm \jobname.?? \jobname.??s')%
 }
 
 % Chapters, in the short toc.
-% See comments in \dochapentry re vbox and related settings.
 \def\shortchapentry#1#2#3#4{%
   \tocentry{#1}{\shortchaplabel{#2}}{#4}%
 }