           SPELL=php-webdav
         VERSION=1.2
          SOURCE=$SPELL-$VERSION.tar.gz
   SOURCE_URL[0]=http://download.pureftpd.org/php-webdav/$SOURCE
     SOURCE_HASH=sha512:f87001592ea4ba8f4cd8f60b5f8b261170fcc04380b450b697a9614e707518f04807d1305dbcfdd638edc2f30de782560e47f7f057d395142555438e744812de
SOURCE_DIRECTORY="$BUILD_DIRECTORY/dav"
        WEB_SITE=http://php-webdav.pureftpd.org/project/php-webdav
      LICENSE[0]=BSD
         ENTERED=20101012
           SHORT="PHP WebDAV extension"
cat << EOF
The PHP WebDAV extension allows easy access to remote resources with PHP through
the DAV protocol.
EOF
