diff options
| -rw-r--r-- | abuild.in | 23 |
1 files changed, 23 insertions, 0 deletions
@@ -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 |