hooks/99-pkglint.sh: error if /usr/share/man/man/ is used

This commit is contained in:
Duncaen 2022-07-25 17:38:55 +02:00 committed by Duncan Overbruck
parent b27de826e4
commit ccd0dc07e0
1 changed files with 5 additions and 0 deletions

View File

@ -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