From d615d15df8b4758d77395f4c5db34206a8126c66 Mon Sep 17 00:00:00 2001
From: Christoph <ckubu@oopen.de>
Date: Sat, 6 Jan 2018 12:58:47 +0100
Subject: [PATCH] Prevent install script from adding manpage entries if they
 alraedy exists.

---
 mod_php_install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mod_php_install.sh b/mod_php_install.sh
index ad36025..96f3a55 100755
--- a/mod_php_install.sh
+++ b/mod_php_install.sh
@@ -1398,7 +1398,7 @@ fi
 ## - special for debian. set manpath entries
 ## -
 if [ -f /etc/manpath.config ];then
-   if ! grep /usr/local/php/man /etc/manpath.config > /dev/null 2<&1 ; then
+   if ! grep /usr/local/php/php/man /etc/manpath.config > /dev/null 2<&1 ; then
       echo >> /etc/manpath.config
       echo "MANDATORY_MANPATH /usr/local/php/php/man /var/cache/man" >> /etc/manpath.config
       echo "MANPATH_MAP /usr/local/php/bin /usr/local/php/php/man" >> /etc/manpath.config