From ccd0dc07e051993290ef40e356ac3f0b2f5548f2 Mon Sep 17 00:00:00 2001
From: Duncaen <duncaen@voidlinux.org>
Date: Mon, 25 Jul 2022 17:38:55 +0200
Subject: [PATCH] hooks/99-pkglint.sh: error if /usr/share/man/man/ is used

---
 common/hooks/pre-pkg/99-pkglint.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/common/hooks/pre-pkg/99-pkglint.sh b/common/hooks/pre-pkg/99-pkglint.sh
index 7e40e81f2b4..0042f0cca00 100644
--- a/common/hooks/pre-pkg/99-pkglint.sh
+++ b/common/hooks/pre-pkg/99-pkglint.sh
@@ -108,6 +108,11 @@ hook() {
 		error=1
 	fi
 
+	if [[ -d ${PKGDESTDIR}/usr/share/man/man ]]; then
+		msg_red "${pkgver}: /usr/share/man/man is forbidden, use /usr/share/man.\n"
+		error=1
+	fi
+
 	if [ -d ${PKGDESTDIR}/usr/doc ]; then
 		msg_red "${pkgver}: /usr/doc is forbidden. Use /usr/share/doc.\n"
 		error=1