First, a simple bug https://www.gnu.org/software/texinfo/manual/texinfo/texinfo.html#Syntax-Highlighting, where the link for "GNU Source-Highlight" is broken.
But I tried texinfo 7.1.1 with HIGHLIGHT_SYNTAX with pygments to highlight the examples in Maxima's user manual. It works quite well for the few examples I looked at. Generating the HTML document took much longer than usual, but I guess that's expected since there are about 2500 @examples in the manual. Here is an example of what one of the highlighted example looks like: [image: image.png] -- Ray
