phingofficial/phing — pull request #209 by johan162 (2013-04-23 20:49:50+00:00)
Title: Re-synced some late updates in the official docs back to the DocBook version

Updated the DocBook sources with the latest changes from the existing docs