Re: A nicely formatted interface to the Lua manual

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

> Can somebody tell me if the manual here
> 
> http://www.lua.org/manual/5.1/manual.html
> 
> is the source document, or is it generated from something else?

http://pgl.yoyo.org/luai/i/about says "This is all imported from the HTML
version" but it does not seem to be up to date. For instance, the sections
below differ slightly (see the last sentence in the first paragraph):

	http://pgl.yoyo.org/luai/i/2.10+Garbage+Collection
	http://www.lua.org/manual/5.1/manual.html#2.10

I expect this is easy to fix if Peter Lowe is listening.