On Fri, Nov 22, 2024 at 10:02 AM Raymond Toy <toy.raym...@gmail.com> wrote:
> > 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. > For the record, generating a single page and multipage version of the manual without highlighting takes about 23 sec on my machine. With highlighting, the same thing takes 10 min. I guess this isn't something you want to do all the time, but would be useful when uploading the manual to a website for general use. -- Ray
