Re: Concerning make-partial.php

Martin Jansen wrote:

Some minutes ago I committed a simple script that has been in my queue for a long time: It can be used to generate partial builds of the manual. A partial build is pretty much the same as a ``normal´´ build except that it skips certain parts of the manual.

<snip>

Comments welcome!

MJ, _VERY_ cool. It also works with phpdoc (where I'll commit it in the scripts directory, unless you object). I'd also like to apply the following patch (to at least the phpdoc version):http://www.phpdoc.info/patches/make-partial-commandline.patch Objections? phpdoc - FAQ only: http://www.phpdoc.info/html/ Hopefully livedocs will solve this problem in the longer term, but this is a nice stop-gap. S