mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Gaetan Boismal
10.41.2015 647458098381de3d9cf67b6f3c8356367858ffc8
opendj-packages/opendj-rpm/resources/specs/postinstall.sh
@@ -63,3 +63,11 @@
    fi
    fi
fi
# Add OpenDJ man pages to MANPATH
MAN_CONFIG_FILE=/etc/man.config
MANPATH_DIRECTIVE=MANPATH
grep -q "$MANPATH_DIRECTIVE.*opendj" $MAN_CONFIG_FILE 2> /dev/null
if [ $? -ne 0 ]; then
    echo "$MANPATH_DIRECTIVE %{_prefix}/share/man" >> $MAN_CONFIG_FILE
fi