diff options
-rw-r--r-- | postgresql.eselect | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/postgresql.eselect b/postgresql.eselect index d7229e5..db669cc 100644 --- a/postgresql.eselect +++ b/postgresql.eselect @@ -256,7 +256,11 @@ do_set() { local mandir mansec for mandir in "${USR_PATH}"/share/postgresql-${slot}/man/man{1,3,7} ; do mansec=$(basename "${mandir}") - linker "${mandir}" "" "${USR_PATH}/share/man/${mansec}" + # Because the user could have FEATURES="noman", check the directory + # exists before using it. (https://bugs.gentoo.org/618294) + if [[ -d ${USR_PATH}/share/man/${mansec} ]] ; then + linker "${mandir}" "" "${USR_PATH}/share/man/${mansec}" + fi done # Default share path - use a relative link here by just specifying the |