Some of my previous extensions to the HTML generation neglected
the GNU Info and Plain Text output. #34 is particularly gross in that
it introduces an uncaught exception for the perfectly valid LaTeX
code \verb*+ +. This P/R plugs many other leaks that sneaked
in e.g. with #23 and #35.
I rose to the occasion and implemented e.g. environment divstyle
and macros \colorbox, \fcolorbox as "dumb" expansions that
simply replicate their TEXT contents/arguments. This cleans up
text output nicely.
If somebody finds missing environments or macros for GNU Info or
Plain Text output please touch base with me so that we can get this
stuff out of the way.
maranget
commented
3 years ago
Some of my previous extensions to the HTML generation neglected the GNU Info and Plain Text output. #34 is particularly gross in that it introduces an uncaught exception for the perfectly valid LaTeX code
\verb*+ +. This P/R plugs many other leaks that sneaked in e.g. with #23 and #35.I rose to the occasion and implemented e.g. environment
divstyleand macros\colorbox,\fcolorboxas "dumb" expansions that simply replicate their TEXT contents/arguments. This cleans up text output nicely.If somebody finds missing environments or macros for GNU Info or Plain Text output please touch base with me so that we can get this stuff out of the way.