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] <bjori> no
> [17:32] [ezyang] +1 featurelist
> [17:32] <bjori> it'd need odd hacks to manual.xml.in
> [17:32] <bjori> (similar to the --without-internals hacks)
> [17:33] <bjori> hmh. actually. since we use ext/dom to build it... we _could_
> $node = $dom->getElementById("..."); $dom->removeNode($node); &&
> $dom->save().. :D
> [17:34] <bjori> removeChild(), not removeNode
> [17:36] * bjori thinks its a cool idea
> [17:36] <bjori> philip--: objections?
> [17:36] <bjori> it'd only be available for configure.php, not ./configure
> [17:36] <bjori> and it should be named with some obscure name like
> "--developer-removing=ID" or something :)
I guess I implemented the opposite: --partial works the same way the PhD
version does: by removing everything else.
--
Edward Z. Yang GnuPG: 0x869C48DA
HTML Purifier <http://htmlpurifier.org> Anti-XSS Filter
[[ 3FA8 E9A9 7385 B691 A6FC B3CB A933 BE7D 869C 48DA ]]
