highlight_syntax_example highlight_example.texi --html -c HIGHLIGHT_SYNTAX=1
highlight_syntax_example_pygments highlight_example.texi --html -c HIGHLIGHT_SYNTAX=pygments
highlight_syntax_example_highlight highlight_example.texi --html -c HIGHLIGHT_SYNTAX=highlight

highlight_syntax_example_default_language highlight_example.texi --html -c HIGHLIGHT_SYNTAX=1 -c HIGHLIGHT_SYNTAX_DEFAULT_LANGUAGE=Perl

highlight_syntax_example_latin9 highlight_example.texi --html --init=highlight_syntax.pm -c 'OUTPUT_ENCODING_NAME=ISO-8859-15'