From 69e84805e48b0253007bd0daf481ce7955367d73 Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Wed, 10 Jun 2020 16:39:37 -0300
Subject: [PATCH] Details

---
 makefile         | 5 ++---
 manual/manual.of | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/makefile b/makefile
index 2c68f454..9be23925 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 =======================
 
diff --git a/manual/manual.of b/manual/manual.of
index 2eadbda0..4d1794fc 100644
--- 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}.
 
 }