Это руководство создано с помощью XML с использованием DocBook XML DTD и DSSSL (Document Style and Semantics Specification Language) для форматирования. Утилиты, использовавшиеся для форматирования HTML и PDF версий: Jade, который создал James Clark и The Modular DocBook Stylesheets, которые создал Norman Walsh.
Руководство основывается на большом объеме работы, которую в свое время сделали участники PHP Documentation Group. Подробнее читайте здесь - About the PHP manual.