lua

commit 69e84805e48b0253007bd0daf481ce7955367d73
parent 364e569945c044fd18c70ee1bc851364534aef97
Author: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date:   Wed, 10 Jun 2020 16:39:10 -0300

Details

Diffstat:
M
makefile
 | 
5
++---
M
manual/manual.of
 | 
2
+-

2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/makefile b/makefile
@@ -1,6 +1,5 @@
-# makefile for building Lua
-# see INSTALL for installation instructions
-# see ../Makefile and luaconf.h for further customization
+# Developer's makefile for building Lua
+# see luaconf.h for further customization
 
 # == CHANGE THE SETTINGS BELOW TO SUIT YOUR ENVIRONMENT =======================
 
diff --git a/manual/manual.of b/manual/manual.of
@@ -5780,7 +5780,7 @@ it to the buffer.
 @APIEntry{void luaL_pushfail (lua_State *L);|
 @apii{0,1,-}
 
-Pushes the @fail value onto the stack.
+Pushes the @fail value onto the stack @see{libraries}.
 
 }