pkgbase = php-docs
	pkgdesc = Set of HTML documentation for PHP.
	pkgver = 7.0.1
	pkgrel = 1
	url = http://www.php.net/docs.php
	arch = any
	license = PHP
	options = docs
	options = !strip
	source = php_manual_en-7.0.1.tar.gz::http://www.php.net/distributions/manual/php_manual_en.tar.gz
	md5sums = 6486c9398e4f22148ea22034ccd2bf31

pkgname = php-docs