phingofficial/phing — pull request #217 by johan162 (2013-06-04 19:09:14+00:00)
Title: Updated build documentation and Debian 7 setup script

Updated build documentation for DocBook and added a shell script which creates a full working Phing docbook development server from a clean Debian 7 installation.