Re: Generating docs
| From: | Uwe Steinmann | Date: | Tue, 06 Jul 1999 06:58:38 +0000 |
| Subject: | Re: Generating docs | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-8114@lists.php.net to get a copy of this message | ||
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.
Ever tried this on a 486 DX2/66 as I do at home. :-(
Uwe
--
Uwe.Steinmann@fernuni-hagen.de
Tel: +2331 987 4528 Fax: +2331 987 375