From cf65c9b41b2020138d751ffdca58530d9009d8f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Tempel?= <soeren+git@soeren-tempel.net>
Date: Fri, 14 Aug 2015 17:07:28 +0200
Subject: [PATCH] abuild: check for /usr/share/{doc,man}

Output a warning if those directories exist on a non-doc package.
Furthermore, check if uncompressed man pages where installed to
/usr/share/man.
---
 abuild.in | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/abuild.in b/abuild.in
index 01b4b62..17fae62 100644
--- a/abuild.in
+++ b/abuild.in
@@ -645,6 +645,24 @@ postcheck() {
 		error "Found /usr/lib/charset.alias"
 		return 1
 	fi
+	# look for /usr/share/doc
+	if [ -e "$dir"/usr/share/doc ] \
+			&& ! is_doc_pkg; then
+		warning "Found /usr/share/doc but package name doesn't end with -doc"
+	fi
+	# look for /usr/share/man
+	if [ -e "$dir"/usr/share/man ] \
+			&& ! is_doc_pkg; then
+		warning "Found /usr/share/man but package name doesn't end with -doc"
+
+		# check for uncompressed man pages
+		i=$(find "$dir"/usr/share/man -name '*.[0-9]' -type f | sed "s|^$dir|\t|")
+		if [ -n "$i" ]; then
+			error "Found uncompressed man pages:"
+			echo "$i"
+			return 1
+		fi
+	fi
 	# check directory permissions
 	i=$(find "$dir" -type d -perm -777 | sed "s|^$dir|\t|")
 	if [ -n "$i" ]; then
@@ -946,6 +964,11 @@ is_dev_pkg() {
 	test "${subpkgname%-dev}" != "$subpkgname"
 }
 
+# returns true if this is the -doc package
+is_doc_pkg() {
+	test "${subpkgname%-doc}" != "$subpkgname"
+}
+
 # check that noarch is set if needed
 archcheck() {
 	options_has "!archcheck" && return 0