com web/doc: We don't analyze php-src anymore: scripts/populatedocs.sh
[email protected] Thu, 17 Jul 2014 05:01:50 +0000
| Newsgroups | php.doc.web |
|---|---|
| Message-ID | <[email protected]> |
Commit: 9b51b5166460576a41b2790b453818653fc6555f Author: Sobak <[email protected]> Thu, 17 Jul 2014 07:01:50 +0200 Parents: c6ebafcaad6d94b6fd80b79707eff3b5bd5778c3 Branches: master Link: http://git.php.net/?p=web/doc.git;a=commitdiff;h=9b51b5166460576a41b2790b453818653fc6555f Log: We don't analyze php-src anymore Changed paths: M scripts/populatedocs.sh Diff: diff --git a/scripts/populatedocs.sh b/scripts/populatedocs.sh index f740da4..b0479a3 100755 --- a/scripts/populatedocs.sh +++ b/scripts/populatedocs.sh @@ -17,7 +17,6 @@ # SVNBIN="/usr/bin/env svn" -GITBIN="/usr/bin/env git" pushd . cd `dirname $0`/.. @@ -40,14 +39,5 @@ else ${SVNBIN} co http://svn.php.net/repository/phpdoc/modules/doc-all ${DOCDIR} fi -echo "Checking out php-src..." -if [ -d ${SRCDIR} ] -then - (cd ${SRCDIR} && ${GITBIN} pull) -else - BDIR=`basename ${SRCDIR}` - ${GITBIN} clone https://github.com/php/php-src ${BDIR} -fi - echo -n "Reverting directory:" popd \ No newline at end of file