Re: Broken links in web manual

[Jose A. Ortega Ruiz]

Hi Justin,

On Sat, Aug 26 2023, Justin Koh wrote:

> In the Installation section of the web manual, under "Must needs"[1],
> the name of each language is wrongly linked to a version string.

That's right, was an error in the macro defining those links. I've
pushed a new version of the docs that should fix them. The update of
texinfo version caused some changes in the style of code blocks, but
i'll let that be for now :)

Many thanks, and apologies for the long delay.

Cheers,
jao
-- 
More people would learn from their mistakes if they weren't so busy
denying them - Harlod J. Smith