Hannes Magnusson wrote:
> That patch seems oddly complicated.
> Whats wrong with the method I explained on IRC?
I thought this was the method you explained on IRC! :-) Obviously, I
misunderstood.
> [17:32] [ezyang] Does configure.php accept partial builds?
> [17:32] no
> [17:32] [ezyang] +1 feat
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 an
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 ju
Edward Z. Yang wrote:
> This patch adds a --partial option to configure.php in REF_STRUCT_DEV,
> allowing for quicker builds over on the PhD side.
>
> The massive amounts of entities that .manual.xml.in defines still bloat
> up the file, and I'm not exactly certain whether or not how partials for
