On Nov 11, 2007 3:42 AM, Edward Z. Yang <[EMAIL PROTECTED]> wrote: > 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.
That patch seems oddly complicated. Whats wrong with the method I explained on IRC? -Hannes