[m-users.] lexer library gone for 20.06.01 ?

[Sean Charles (emacstheviking)]

OK, changed line 65 of libinfo.m in mmc-doc to

stdlib("mercury_term_lexer").

but now I am guessing that parser.html changed to mercury_term_parser    :D   guess what just broke...

Changing line 74 to

stdlib("mercury_term_parser").

now enables mmc-doc to do a full cache update.

I am assuming this will get changed on GitHub or I can submit a PR ?

Thanks
Sean




> On 13 Mar 2022, at 08:33, Julien Fischer <jfischer at opturion.com> wrote:
> 
> 
> 
> On Sun, 13 Mar 2022, Zoltan Somogyi wrote:
> 
>> 
>> 2022-03-13 19:29 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>>> I don't know anything about mmc-doc or how it works, but from Mercury
>>> 22.01 onwards the lexer module has been renamed to mercury_lexer.
>> 
>> Actually, it has been renamed to mercury_term_lexer.
> 
> Oops!  Yes, listen to Zoltan, not me!
> 
> Julien.