Document: phpdoc
Title: PHP manual
Author: various contributors
Abstract: This manual describes PHP scripting language and
 it's extensions.
Section: Apps/Programming

Format: HTML
Index: /usr/share/doc/phpdoc/html/index.html
Files: /usr/share/doc/phpdoc/html/*.html
