LiveDocs - making DocBook less painful

Having been frustrated by the length of time that it takes to build the substantial PHP manual from its XML sources (45 minutes or so), I hacked together ...