Re: Lua 5.1 source HTML browsable?

[Luiz Henrique de Figueiredo <lhf@...>]

> What program was used to generate the excellent HTML version of the
> 5.0 sources at http://www.lua.org/source/5.0/ ?

A mixture of hacks :-)

> If I could generate the same for 5.1, it'd certainly help me get my bearings.

I'll try to find some time to do it. No promises, though.