On Sun, Sep 14, 2025 at 07:20:57AM -0700, Raymond Toy wrote: > On 9/14/25 2:52 AM, Patrice Dumas wrote: > > > The default is: > > pygmentize -f html -O noclasses=True > > > > It is generic enough, I believe. My feeling is that it covers most use > > cases, although using a wrapper script would also be ok. > > However, Maxima's manual supports dark mode now and the default pygmentize > command above gets in the way of auto dark mode because I can't control the > colors via CSS. > > So an external script where I can just write |pygmentize -f html| would work > quite well. I did hack up texinfo to remove the |-O noclasses=True|, and > could use CSS to select appropriate colors for both light and dark modes.
Right now, with the development sources, you could call texi2any like: ./texi2any.pl --html -c HIGHLIGHT_SYNTAX='pygmentize -f html -l ' maxima.texi to get the output you want (if I understood well). Subject to change until an agreement is reached on the interface. -- Pat
