From a56a2af9caaf9cc28612bc10066dbe1cbb65ba84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C4=90o=C3=A0n=20Tr=E1=BA=A7n=20C=C3=B4ng=20Danh?=
 <congdanhqx@gmail.com>
Date: Fri, 30 Oct 2020 07:59:18 +0700
Subject: [PATCH] lua51: move lua-doc alternative to devel

---
 srcpkgs/lua51/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/lua51/template b/srcpkgs/lua51/template
index c7107cee8e4..12da0983a61 100644
--- a/srcpkgs/lua51/template
+++ b/srcpkgs/lua51/template
@@ -1,7 +1,7 @@
 # Template file for 'lua51'
 pkgname=lua51
 version=5.1.5
-revision=11
+revision=12
 wrksrc="lua-${version}"
 makedepends="ncurses-devel readline-devel"
 short_desc="Powerful, fast, lightweight, embeddable scripting language (5.1.x)"
@@ -16,7 +16,6 @@ alternatives="
  lua:luac:/usr/bin/luac5.1
  lua:lua.1:/usr/share/man/man1/lua5.1.1
  lua:luac.1:/usr/share/man/man1/luac5.1.1
- lua:lua:/usr/share/doc/lua5.1
 "
 
 do_build() {
@@ -56,6 +55,7 @@ lua51-devel_package() {
 	depends="${makedepends} lua51>=${version}_${revision}"
 	short_desc+=" - development files"
 	alternatives="
+	 lua-devel:lua:/usr/share/doc/lua5.1
 	 lua-devel:lua.pc:/usr/lib/pkgconfig/lua5.1.pc
 	"
 	pkg_install() {