[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
From: |
Gavin D. Smith |
Date: |
Fri, 20 Dec 2024 16:12:35 -0500 (EST) |
branch: master
commit ee94b9807bb08344a645c19c62885db3bbcda193
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Fri Dec 20 21:10:33 2024 +0000
* doc/texinfo.texi (HTML Customization Variables List):
Change @vtable to @table to avoid duplicate index entries
for customization variables.
---
ChangeLog | 6 ++++++
doc/texinfo.texi | 6 +++---
2 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 75a541ec14..d58a070a4d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2024-12-20 Gavin Smith <gavinsmith0123@gmail.com>
+
+ * doc/texinfo.texi (HTML Customization Variables List):
+ Change @vtable to @table to avoid duplicate index entries
+ for customization variables.
+
2024-12-20 Gavin Smith <gavinsmith0123@gmail.com>
* doc/texinfo.texi (HTML Output Structure Customization):
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 04128553f5..3a2b44c4d8 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -18551,7 +18551,7 @@ and set @code{BIG_RULE} for the wider separator
sometimes used.
@c Arguments are HTML content to be inserted at certain points in the output.
@vindex HTML_ROOT_ELEMENT_ATTRIBUTES
@vindex EXTRA_HEAD
-@vindex AFTER_BODY_OPEN
+@c @vindex AFTER_BODY_OPEN
@cindex @code{<head>} block, adding to
@vindex BODY_ELEMENT_ATTRIBUTES
You can set @code{HTML_ROOT_ELEMENT_ATTRIBUTES} to add attributes to
@@ -18922,7 +18922,7 @@ Labels files can be generated if @code{INFO_JS_DIR} is
set, or if
This table lists the customization variables which apply to HTML output.
-@vtable @code
+@table @code
@item AFTER_BODY_OPEN
Text added at the beginning of each HTML file; default unset.
@@ -19330,7 +19330,7 @@ as the hyperlink. If set to@tie{}0, use the node name
if
otherwise use the node name or section name depending on
@code{USE_NODES}. The default is @samp{undef}.
-@end vtable
+@end table
@node @@-Command Details