#!/bin/sh
set -e

# configure php.ini
phpini=/etc/php4/apache/php.ini
if test "$1" = "configure" -a -e $phpini; then
	if ! cat $phpini | grep '^include_path' | grep '/usr/share/php-libcommon' ; then
		echo "Modification of $phpini";
		cp -f $phpini $phpini.dpkg.old;
		tmpf=`tempfile`;
		sed -e 's/^\([ 	;]*\)include_path[ 	]*=[ 	]*"\?\([^";]*\)"\?/\1include_path = "\/usr\/share\/php-libcommon:\2"/' < $phpini > $tmpf;
		echo "You should add /usr/share/php-libcommon to your include_path :"
		diff $phpini $tmpf || true;
		rm -f $tmpf || true;
	fi
fi

if test "$1" = "configure"; then
	if test -d /usr/doc -a ! -e /usr/doc/php-libcommon -a -d /usr/share/doc/php-libcommon ; then
		ln -sf ../share/doc/php-libcommon /usr/doc/php-libcommon
	fi
fi