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

Commit:    29519aa62fcc4042e71a92c060f74b1b4c690328
Author:    Rogerio Prado de Jesus <[email protected]>         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 <[email protected]>

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:"