diff --git a/3rdparty/lua/Makefile b/3rdparty/lua/Makefile index c795dd7930a..119110d2f01 100644 --- a/3rdparty/lua/Makefile +++ b/3rdparty/lua/Makefile @@ -46,7 +46,7 @@ TO_MAN= lua.1 luac.1 # Lua version and release. V= 5.3 -R= $V.3 +R= $V.4 # Targets start here. all: $(PLAT) diff --git a/3rdparty/lua/README b/3rdparty/lua/README index e84d9acb898..0b31908a06c 100644 --- a/3rdparty/lua/README +++ b/3rdparty/lua/README @@ -1,5 +1,5 @@ -This is Lua 5.3.3, released on 30 May 2016. +This is Lua 5.3.4, released on 12 Jan 2017. For installation instructions, license details, and further information about Lua, see doc/readme.html. diff --git a/3rdparty/lua/doc/contents.html b/3rdparty/lua/doc/contents.html index ca0f568243c..445556f9641 100644 --- a/3rdparty/lua/doc/contents.html +++ b/3rdparty/lua/doc/contents.html @@ -32,7 +32,7 @@ For a complete introduction to Lua programming, see the book
-Copyright © 2015–2016 Lua.org, PUC-Rio.
+Copyright © 2015–2017 Lua.org, PUC-Rio.
Freely available under the terms of the
Lua license.
@@ -512,6 +512,7 @@ Freely available under the terms of the
luaL_newmetatable
luaL_newstate
luaL_openlibs
+luaL_opt
luaL_optinteger
luaL_optlstring
luaL_optnumber
@@ -608,10 +609,10 @@ Freely available under the terms of the