3 # Fix a problem with HTML output produced by makeinfo
4 # (tested with versions 4.8 and 4.13).
6 # groff.texinfo uses (after macro expansion) something like
12 # which has worked with earlier versions (using an undocumented feature
13 # of the implementation of @deffn and @deffnx). Version 4.8 has new
14 # code for generating HTML, and the above construction produces wrong
15 # HTML output: It starts a new <blockquote> without closing it properly.
16 # The very problem is that, according to the documentation, the @deffnx
17 # must immediately follow the @deffn line, making it impossible to add
18 # entries into user-defined indices if supplied with macro wrappers around
21 # Note that this script is a quick hack and tightly bound to the current
22 # groff.texinfo macro code. Hopefully, a new texinfo version makes it
25 t=${TMPDIR-.}/gro$$.tmp
35 /^<blockquote>\n *<p>.*\n\n \—/ {
36 s/^<blockquote>\n *<p>\(.*\n\)\n \—/\1\—/