Re: Concerning make-partial.php

On Thu Jan 27, 2005 at 11:4902PM -0500, Sean Coates wrote: > 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! > > It also works with phpdoc (where I'll commit it in the scripts > directory, unless you object). Sure, just go ahead! > I'd also like to apply the following patch (to at least the phpdoc > > version):http://www.phpdoc.info/patches/make-partial-commandline.patch Adding the --include option was next on my list. Thanks :). One thing though: Can you please change echo "Including {$matches[1]}? "; to echo "Including " . $matches[1] . "? "; so that the patch is in line with the rest of the code? > Hopefully livedocs will solve this problem in the longer term, but this > is a nice stop-gap. That's my rationale, too. - Martin