Updated Lua to 5.2.1.

icculus · Jun 18, 2012 · 4fc2449 · 4fc2449
1 parent 161d956
commit 4fc2449
Show file tree

Hide file tree

Showing 43 changed files with 1,090 additions and 751 deletions.
diff --git a/lua/Makefile b/lua/Makefile
@@ -46,7 +46,7 @@ TO_MAN= lua.1 luac.1
 
 # Lua version and release.
 V= 5.2
-R= $V.0
+R= $V.1
 
 # Targets start here.
 all:	$(PLAT)

diff --git a/lua/README b/lua/README
@@ -1,5 +1,5 @@
 
-This is Lua 5.2, released on 12 Dec 2011.
+This is Lua 5.2.1, released on 08 Jun 2012.
 
 For installation instructions, license details, and
 further information about Lua, see doc/readme.html.

diff --git a/lua/doc/contents.html b/lua/doc/contents.html
@@ -33,9 +33,9 @@ <H1>
 <A HREF="#index">index</A>
 <HR>
 <SMALL>
-Copyright &copy; 2011 Lua.org, PUC-Rio.
+Copyright &copy; 2011&ndash;2012 Lua.org, PUC-Rio.
 Freely available under the terms of the
-<A HREF="http://www.lua.org/license.html#5">Lua license</A>.
+<A HREF="http://www.lua.org/license.html">Lua license</A>.
 </SMALL>
 
 <H2><A NAME="contents">Contents</A></H2>
@@ -521,10 +521,10 @@ <H3>auxiliary library</H3>
 <HR>
 <SMALL CLASS="footer">
 Last update:
-Tue Nov 29 22:30:23 BRST 2011
+Sat May 26 08:52:25 BRT 2012
 </SMALL>
 <!--
-Last change: revised for Lua 5.2.0
+Last change: revised for Lua 5.2.1
 -->
 
 </BODY>

diff --git a/lua/doc/lua.css b/lua/doc/lua.css
@@ -3,8 +3,8 @@ body {
 	background-color: #FFFFFF ;
 	font-family: Helvetica, Arial, sans-serif ;
 	text-align: justify ;
-	margin-right: 20px ;
-	margin-left: 20px ;
+	margin-right: 30px ;
+	margin-left: 30px ;
 }
 
 h1, h2, h3, h4 {
@@ -16,9 +16,9 @@ h1, h2, h3, h4 {
 h2 {
 	padding-top: 0.4em ;
 	padding-bottom: 0.4em ;
-	padding-left: 20px ;
-	padding-right: 20px ;
-	margin-left: -20px ;
+	padding-left: 30px ;
+	padding-right: 30px ;
+	margin-left: -30px ;
 	background-color: #E0E0FF ;
 }
 

diff --git a/lua/doc/manual.css b/lua/doc/manual.css
@@ -18,7 +18,7 @@ span.apii {
 p+h1, ul+h1 {
 	padding-top: 0.4em ;
 	padding-bottom: 0.4em ;
-	padding-left: 20px ;
-	margin-left: -20px ;
+	padding-left: 30px ;
+	margin-left: -30px ;
 	background-color: #E0E0FF ;
 }