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

[Sean Charles (emacstheviking)]

Hi,

I just reverted back to 20.06.01 stable from an ROTD and when doing

mmc-doc --refresh-cache

I got this error:

--2022-03-13 08:20:36--  https://mercurylang.org/information/doc-latest/mercury_library/lexer.html
Resolving mercurylang.org (mercurylang.org)... 45.56.89.38
Connecting to mercurylang.org (mercurylang.org)|45.56.89.38|:443... connected.
HTTP request sent, awaiting response... 404 Not Found
2022-03-13 08:20:37 ERROR 404: Not Found.

Failed to spawn command: wget -O '/Users/sean/.config/mmc-doc/lexer.html' 'https://mercurylang.org/information/doc-latest/mercury_library/lexer.html'

https://mercurylang.org/information/doc-latest/mercury_library/ <https://mercurylang.org/information/doc-latest/mercury_library/>

I checked the URL, sure enough that file is not listed...is this correct? I am not using that library but is it the case that mmc-doc now has an incomplete local cache ?

Sean.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20220313/5e95d75b/attachment.html>