texinfo-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

branch master updated: * doc/texinfo.texi @code{@@settitle}): no title i


From: Patrice Dumas
Subject: branch master updated: * doc/texinfo.texi @code{@@settitle}): no title in the document anymore in the default case in HTML.
Date: Fri, 11 Mar 2022 15:48:22 -0500

This is an automated email from the git hooks/post-receive script.

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 4b91980c9d * doc/texinfo.texi @code{@@settitle}): no title in the 
document anymore in the default case in HTML.
4b91980c9d is described below

commit 4b91980c9dc0cf355e99b9e1d57084f5c858c9fb
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Fri Mar 11 21:48:07 2022 +0100

    * doc/texinfo.texi @code{@@settitle}): no title in the
    document anymore in the default case in HTML.
---
 ChangeLog        | 5 +++++
 doc/texinfo.texi | 3 +--
 tp/TODO          | 6 ------
 3 files changed, 6 insertions(+), 8 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 37a6f46aac..c8956d5e37 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-03-11  Patrice Dumas  <pertusus@free.fr>
+
+       * doc/texinfo.texi @code{@@settitle}): no title in the
+       document anymore in the default case in HTML.
+
 2022-03-11  Patrice Dumas  <pertusus@free.fr>
 
        * NEWS, doc/texinfo.texi (HTML Customization Variables)
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 28bc5e2c45..eee1e22d65 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -1781,8 +1781,7 @@ more on headings for @TeX{}, see @ref{Heading Generation}.
 @cindex @code{<title>} HTML tag
 In the HTML file produced by @command{makeinfo}, @var{title} serves as
 the document @samp{<title>} and it becomes the default document
-description in the @samp{<head>} part.  It also appears at the very
-beginning of the output in an @code{<h1>} heading.
+description in the @samp{<head>} part.
 
 When the title page is used in the output, as is generally the case for printed
 output, the title in the @code{@@settitle} command does not affect the title as
diff --git a/tp/TODO b/tp/TODO
index d88e936f63..0d7261502d 100644
--- a/tp/TODO
+++ b/tp/TODO
@@ -70,12 +70,6 @@ of DocBook to create HTML and relying on the Top node there 
as being
 a table of contents.  I expect it would be fine, though, as DocBook
 tools would probably supply their own table of contents.
 
-HTML:
-It may be fine not to output anything for @settitle specifically in
-the default output, as long as there are enough headings output for
-other reasons.
-
-
 
 
 Bugs



reply via email to

[Prev in Thread] Current Thread [Next in Thread]