Edward Z. Yang wrote: > It does nothing for a documentation writer who wants to make changes, > run PhD and see his changes. configure.php still takes up way too much > time, because we basically load up all of manual.xml and then cut away > the parts we don't want. Instead, we should be loading just that > segment, or it possible for us to pass an XML source file straight to > PhD for rendering.
Nonetheless, it *does* reduce the time PhD needs. I have committed a modified version of the patch. -- Edward Z. Yang GnuPG: 0x869C48DA HTML Purifier <http://htmlpurifier.org> Anti-XSS Filter [[ 3FA8 E9A9 7385 B691 A6FC B3CB A933 BE7D 869C 48DA ]]