From e88e07805a7dc7d545ecb2b756bdf40d1b981b4f Mon Sep 17 00:00:00 2001 From: Christoph Date: Sat, 6 Jan 2018 13:00:39 +0100 Subject: [PATCH] Prevent install script (5.4) from adding manpage entries if they alraedy exists. --- mod_php-5.4_debian-9_install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mod_php-5.4_debian-9_install.sh b/mod_php-5.4_debian-9_install.sh index c1dc1ea..02d6366 100755 --- a/mod_php-5.4_debian-9_install.sh +++ b/mod_php-5.4_debian-9_install.sh @@ -1336,7 +1336,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