Updated to lua-5.3.2

Author: drahosp

Makefile

@@ -46,7 +46,7 @@ TO_MAN= lua.1 luac.1
 
 # Lua version and release.
 V= 5.3
-R= $V.1
+R= $V.2
 
 # Targets start here.
 all:	$(PLAT)

README.md

@@ -1,5 +1,5 @@
 
-This is Lua 5.3.1, released on 10 Jun 2015.
+This is Lua 5.3.2, released on 25 Nov 2015.
 
 For installation instructions, license details, and
 further information about Lua, see doc/readme.html.

dist.info

@@ -1,7 +1,7 @@
 --- This file is part of LuaDist project
 
 name = "lua"
-version = "5.3.1"
+version = "5.3.2"
 
 desc = "Lua is a powerful, fast, light-weight, embeddable scripting language."
 author = "Roberto Ierusalimschy, Waldemar Celes, Luiz Henrique de Figueiredo"

doc/lua.css

@@ -131,3 +131,29 @@ table.columns td {
 p.logos a:link:hover, p.logos a:visited:hover {
 	background-color: inherit ;
 }
+
+table.book {
+	border: none ;
+	border-spacing: 0 ;
+	border-collapse: collapse ;
+}
+
+table.book td {
+	padding: 0 ;
+	vertical-align: top ;
+}
+
+table.book td.cover {
+	padding-right: 1em ;
+}
+
+table.book img {
+	border: solid #000080 1px ;
+}
+
+table.book span {
+	font-size: small ;
+	text-align: left ;
+	display: block ;
+	margin-top: 0.25em ;
+}