lua.c userinit() call in 4.0b

["Mauro Vezzosi"<mvezzosi@...>]

Hi

In Lua 4.0b src/lua/readme and lua.c is written that the userinit() 
function must be defined as void (*)(void), but it should be void (*)
(lua_State *).
In lua.c main() the function call USERINIT() should be USERINIT(L), 
therefore also lua.c userinit() function will change.

- In src/lua/luac.htm is missing the explanation of the option -s 
(strip debug information).
- In doc/manual.htm "8 - Lua Stand-alone" is missing the explanation of 
the option -s (set stack size).
- In doc/manual.htm in the end of "5.10 - Manipulating Tables in Lua" 
is written "creates a new, empty table *and and* pushes it onto the 
stack." :-)


Bye
Mauro