branch master updated: Fix @ignore that should be @end ignore

[Patrice Dumas]

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