Links to documentation in Inform 7 page not working

Hi, the links to the inform 7 manual and to the recipe book in Inform 7’s documentation page ( inform7.com/learn/manuals/ ) are not working. When I click them, I get a “page not found” error. The links to the downloadable versions are working, though. I hope this is the right place to post this.

Yeah this is a known problem. It’s been reported to the Inform 7 devs. Sorry but I don’t know anything more than that.

The links to these downloads:

gnome-inform7_6L38-0ubuntu1_i386.deb
gnome-inform7-6L38-0.x86_64.rpm
gnome-inform7-6L38-0.i586.rpm

are dead also (if anyone responsible for them is reading this…).

That’s also been reported; there’s a link to a mirror on the bug page (I’m not sure it mirrors everything).

…though now that I check it, there doesn’t seem anything at that mirror? Maybe we should leave a comment on the bug page.