mirror of
https://github.com/void-linux/void-packages.git
synced 2025-07-31 18:02:57 +02:00
lua52: rename man pages
This commit is contained in:
parent
e0899a5018
commit
694868119b
1 changed files with 5 additions and 1 deletions
|
@ -1,7 +1,7 @@
|
||||||
# Template file for 'lua52'
|
# Template file for 'lua52'
|
||||||
pkgname=lua52
|
pkgname=lua52
|
||||||
version=5.2.4
|
version=5.2.4
|
||||||
revision=2
|
revision=3
|
||||||
wrksrc=lua-${version}
|
wrksrc=lua-${version}
|
||||||
build_pie=yes
|
build_pie=yes
|
||||||
makedepends="ncurses-devel readline-devel"
|
makedepends="ncurses-devel readline-devel"
|
||||||
|
@ -41,6 +41,10 @@ do_install() {
|
||||||
cp -R doc/* ${DESTDIR}/usr/share/doc/lua52
|
cp -R doc/* ${DESTDIR}/usr/share/doc/lua52
|
||||||
|
|
||||||
vlicense doc/readme.html
|
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() {
|
lua52-devel_package() {
|
||||||
|
|
Loading…
Add table
Reference in a new issue