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.
I've been working on highlighting for the Maxima manual with both
pygments and highlightjs. (GNU source-highlight doesn't currently have
support for the Maxima language.)
These all basically work; the hardest part is deciding on what color
scheme to use for the highlighting.
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.
​
