On 10/20/19 1:42 PM, Gavin Smith wrote:
gdt gets translations for strings that are going to go into the output
documents. The argument is usually plain text but can be Texinfo code.
Hence, it has the same quoting conventions as Texinfo, where "<" stands
for itself. The tree returned is the same type as the parse tree for
the whole Texinfo document. It's not easy to add in a <span> here, as
this tree is not specific to any output format.
An idea (which is probably not a new -one): Add a @rawoutput command to texinfo,
whose contents would be copies as-is to the output. For example:
@ifhtml
@rawoutput{<hr/>}
@end ifhtml
The --no-number-sections option to texi2any should stop the section
numbers being output.
Works for me. Thanks.
--
--Per Bothner
[email protected] http://per.bothner.com/
