install/php
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Prevent install script from adding manpage entries if they alraedy exists.

Browse Source
This commit is contained in:
Christoph 2018-01-06 12:58:47 +01:00
parent 1b5883564b
commit d615d15df8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mod_php_install.sh
View File

@ -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