On Sat, Nov 23, 2024 at 10:44 AM Patrice Dumas <pertu...@free.fr> wrote:
> On Fri, Nov 22, 2024 at 10:02:15AM -0800, Raymond Toy 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. > > I don't know if it is a reason for the time needed, but for pygments the > program is run for every example, which may be less efficient than > for source-highlight for which one file (per language) is generated and > run through source-highlight. > If source-highlight means https://www.gnu.org/software/src-highlite/, then that doesn't work since it doesn't have support maxima. Pygments did. I'm too lazy right now to try writing one for source-highlight. But still, it works quite nicely with pygments, if slowly. > > -- > Pat > -- Ray
