com web/doc: Use git to checkout php source instead of svn: scripts/populatedocs.sh

Commit: 29519aa62fcc4042e71a92c060f74b1b4c690328 Author: Rogerio Prado de Jesus <rogeriopradoj@gmail.com> Wed, 16 Jul 2014 07:56:26 -0300 Parents: e8c3fe9677c65a60bc4d15327d0f4fcf7418178b Branches: master Link: http://git.php.net/?p=web/doc.git;a=commitdiff;h=29519aa62fcc4042e71a92c060f74b1b4c690328 Log: Use git to checkout php source instead of svn Since http://svn.php.net/repository/php/php-src/trunk doesn't host php-src anymore, this change gets source from GitHub.. Signed-off-by: Rogerio Prado de Jesus <rogeriopradoj@gmail.com> Changed paths: M scripts/populatedocs.sh Diff: diff --git a/scripts/populatedocs.sh b/scripts/populatedocs.sh index 48ab0fe..f740da4 100755 --- a/scripts/populatedocs.sh +++ b/scripts/populatedocs.sh @@ -17,6 +17,7 @@ # SVNBIN="/usr/bin/env svn" +GITBIN="/usr/bin/env git" pushd . cd dirname $0/.. @@ -42,10 +43,10 @@ fi echo "Checking out php-src..." if [ -d ${SRCDIR} ] then - (cd ${SRCDIR} && ${SVNBIN} up) + (cd ${SRCDIR} && ${GITBIN} pull) else BDIR=basename ${SRCDIR} - ${SVNBIN} co http://svn.php.net/repository/php/php-src/trunk ${BDIR} + ${GITBIN} clone https://github.com/php/php-src ${BDIR} fi echo -n "Reverting directory:"