File update.sh of Package php-doc

#!/bin/bash
wget --timestamping http://de2.php.net/distributions/manual/php_manual_en.tar.gz
VERSION=`stat -c "%y" php_manual_en.tar.gz | awk -F " " '{print $1}' | sed -e s@-@@g`
/bin/sed -i -e "s/^\(Version:\).*/\1        $VERSION/;" php-doc.spec