@c Syntax highlighting for texinfo's HTML output @html @end html @macro setsyntax{lang} @html @end html @end macro @macro setsyntaxnoauto{} @html @end html @end macro