Re: [Maxima-discuss] Syntax coloring of the manual

[Raymond T. <toy...@gm...>]

On 7/8/25 7:01 AM, Raymond Toy wrote:

> On 7/7/25 4:13 PM, Raymond Toy wrote:
>
>> Oh, that is really weird. I'll modify configure to have a new option 
>> to enable syntax highlighting (defaulting to off).
>>
> Done. The option is |--enable-syntax-highlighting|, which defaults to 
> |no|.
>
>> ​

Huh. According to 
https://github.com/highlightjs/highlight.js/blob/5697ae5187746c24732e62cd625f3f83004a44ce/src/languages/maxima.js#L4, 
Robert wrote the support for syntax highlighting in highlightjs for maxima.

We can probably fix up the issues with highlighting....

​