diff options
| -rwxr-xr-x | bin/prepman | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/bin/prepman b/bin/prepman index c17faa1b8..c2a245f40 100755 --- a/bin/prepman +++ b/bin/prepman @@ -16,4 +16,15 @@ if [[ ! -d ${mandir} ]] ; then exit 0 fi -exec ecompressdir "${mandir#${D}}" +shopt -s nullglob + +really_is_mandir=0 + +# use some heuristics to test if this is a real mandir +for subdir in "${mandir}"/man* "${mandir}"/*/man* ; do + [[ -d ${subdir} ]] && really_is_mandir=1 && break +done + +[[ ${really_is_mandir} == 1 ]] && exec ecompressdir "${mandir#${D}}" + +exit 0 |