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 ]]

Reply via email to