[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated: Fix @ignore that should be @end ignore
From: |
Patrice Dumas |
Subject: |
branch master updated: Fix @ignore that should be @end ignore |
Date: |
Wed, 20 Jul 2022 08:58:30 -0400 |
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 4d8bd9d378 Fix @ignore that should be @end ignore
4d8bd9d378 is described below
commit 4d8bd9d3789adca49db2091ccd07d685cc03837b
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Wed Jul 20 14:57:55 2022 +0200
Fix @ignore that should be @end ignore
---
doc/texinfo.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index a56e8c2e7b..409f6be6bd 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -18271,7 +18271,7 @@ allows using external style sheets.
You may find the file
@file{texi2html/examples/texinfo-bright-colors.css} useful for
visualizing the CSS elements in Texinfo output.
-@ignore
+@end ignore
The option @option{--css-include=@var{file}} includes the contents
@var{file} in the HTML output, as you might expect. However, the
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch master updated: Fix @ignore that should be @end ignore,
Patrice Dumas <=