David Engster writes:
> David Engster writes:
>> David Engster writes:
>>> The subject says it all. Clone from
>> Unfortunately, the doc/texi directory is missing files somehow. I have
>> no idea why. If I cannot fix this, that mirror may be short-lived...
> And the whole semantic/tests directory is missing, so clearly this
> conversion does not work, either. :-(
> I've taken the mirror down again. Sorry, I should've tested it a little
> bit longer before publishing it.
The weirdest thing happened: I filed a bug, and it got fixed.
So, the mirror is back, though I'll wait a bit this time before
announcing it on the web page. Please let me know if you experience any