From a9918f21f0a997dd7305cba9b95ad0c23a8ab5e8 Mon Sep 17 00:00:00 2001
From: Gaetan Boismal <gaetan.boismal@forgerock.com>
Date: Mon, 11 Jan 2016 16:30:12 +0000
Subject: [PATCH] OPENDJ-2601 man pages not found on CentOS7
---
opendj-packages/opendj-rpm/resources/specs/postinstall.sh | 19 ++++++++++++++-----
1 files changed, 14 insertions(+), 5 deletions(-)
diff --git a/opendj-packages/opendj-rpm/resources/specs/postinstall.sh b/opendj-packages/opendj-rpm/resources/specs/postinstall.sh
index cf31cb4..65040ad 100644
--- a/opendj-packages/opendj-rpm/resources/specs/postinstall.sh
+++ b/opendj-packages/opendj-rpm/resources/specs/postinstall.sh
@@ -64,10 +64,19 @@
fi
fi
+MAN_CONFIG_FILE=NOT_SET
# 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
+if [ -e /etc/man.config ] ; then
+ MAN_CONFIG_FILE=/etc/man.config
+ MANPATH_DIRECTIVE=MANPATH
+elif [ -e /etc/man_db.conf ] ; then
+ MAN_CONFIG_FILE=/etc/man_db.conf
+ MANPATH_DIRECTIVE=MANDATORY_MANPATH
fi
+
+if [ $MAN_CONFIG_FILE != "NOT_SET" ] ; then
+ 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
+fi
\ No newline at end of file
--
Gitblit v1.10.0