commit 69e84805e48b0253007bd0daf481ce7955367d73
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> Wed Jun 10 16:39:37 2020 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> Wed Jun 10 16:39:37 2020 -0300
tree 3656b63c60ee7b8a640738c1fdb6f81d64654802
parent 364e569945c044fd18c70ee1bc851364534aef97

Details

makefile

diff --git a/makefile b/makefile
index 2c68f45..9be2392 100644
--- 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 =======================
 

manual/manual.of

diff --git a/manual/manual.of b/manual/manual.of
index 2eadbda..4d1794f 100644
--- a/manual/manual.of
+++ b/manual/manual.of
@@ -5780,7 +5780,7 @@
 @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}.
 
 }