> 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.