Re: Generating docs
| From: | Sascha Schumann | Date: | Tue, 06 Jul 1999 10:54:45 +0000 |
| Subject: | Re: Generating docs | ||
| References: | 1 2 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-8117@lists.php.net to get a copy of this message | ||
On Tue, Jul 06, 1999 at 08:58:38AM +0200, Uwe Steinmann wrote:
> On Tue, Jul 06, 1999 at 01:01:40AM -0600, Mark Britton wrote:
> > Is there a way to use make to regenerate the docs that have changed instead
> > of regenerating the whole set? My tired P133 grinds through this pretty
> > slowly. I've just been doing make html
> As far as I know, No.
If you want to "debug" a chapter, just outcomment what you don't
need in manual.sgml. That way, only a few pages need to be
generated and you can save much time.
--
Regards,
Sascha Schumann
Consultant