mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 07e51c | patch | commitdiff
Gaetan Boismal
11.30.2016 a9918f21f0a997dd7305cba9b95ad0c23a8ab5e8
refs
author Gaetan Boismal <gaetan.boismal@forgerock.com>
Monday, January 11, 2016 17:30 +0100
committer Gaetan Boismal <gaetan.boismal@forgerock.com>
Monday, January 11, 2016 17:30 +0100
commita9918f21f0a997dd7305cba9b95ad0c23a8ab5e8
tree 47205f923979ae77c0b73524b5da47ce39e7a319 tree | zip | gz
parent 07e51ceef71e83558ee97e24fe42251148f2537c view | diff 
OPENDJ-2601 man pages not found on CentOS7

The file where to set the man path may vary according to the
distributions.
If /etc/man.config does not exists on the operating system, we look for
/etc/man_db.conf and edit it if this file exists.
If none of the above files exist, we do nothing.
Thanks to Fabio for his help and his review.
1 files modified
19 ■■■■■ changed files
opendj-packages/opendj-rpm/resources/specs/postinstall.sh 19 ●●●●● diff | view | raw | blame | history