diff --git a/Makefile b/Makefile index e87e958c..119110d2 100644 --- a/Makefile +++ b/Makefile @@ -46,7 +46,7 @@ TO_MAN= lua.1 luac.1 # Lua version and release. V= 5.3 -R= $V.2 +R= $V.4 # Targets start here. all: $(PLAT) diff --git a/README.md b/README.md index eb6247a4..ed424def 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@ -This is Lua 5.3.2, released on 25 Nov 2015. +This is Lua 5.3.5, released on 26 Jun 2018. For installation instructions, license details, and further information about Lua, see doc/readme.html. diff --git a/dist.info b/dist.info index b9987268..a851b17e 100644 --- a/dist.info +++ b/dist.info @@ -1,7 +1,7 @@ --- This file is part of LuaDist project name = "lua" -version = "5.3.2" +version = "5.3.5" desc = "Lua is a powerful, fast, light-weight, embeddable scripting language." author = "Roberto Ierusalimschy, Waldemar Celes, Luiz Henrique de Figueiredo" diff --git a/doc/contents.html b/doc/contents.html index 1272c59c..c4eb2677 100644 --- a/doc/contents.html +++ b/doc/contents.html @@ -32,7 +32,7 @@
-Copyright © 2015 Lua.org, PUC-Rio. +Copyright © 2015–2018 Lua.org, PUC-Rio. Freely available under the terms of the Lua license. @@ -512,6 +512,7 @@