From 694868119bac68b9923de77d4e079874887fec03 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Buchm=C3=BCller?= <pullmoll@t-online.de>
Date: Fri, 2 Oct 2015 12:46:47 +0200
Subject: [PATCH] lua52: rename man pages

---
 srcpkgs/lua52/template | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/lua52/template b/srcpkgs/lua52/template
index b871ef928cc..eb03877b0e7 100644
--- a/srcpkgs/lua52/template
+++ b/srcpkgs/lua52/template
@@ -1,7 +1,7 @@
 # Template file for 'lua52'
 pkgname=lua52
 version=5.2.4
-revision=2
+revision=3
 wrksrc=lua-${version}
 build_pie=yes
 makedepends="ncurses-devel readline-devel"
@@ -41,6 +41,10 @@ do_install() {
 	cp -R doc/* ${DESTDIR}/usr/share/doc/lua52
 
 	vlicense doc/readme.html
+
+	# Rename man pages
+	mv ${DESTDIR}/usr/share/man/man1/lua{,5.2}.1
+	mv ${DESTDIR}/usr/share/man/man1/luac{,5.2}.1
 }
 
 lua52-devel_package() {