Generating docs
| From: | Mark Britton | Date: | Tue, 06 Jul 1999 07:01:40 +0000 |
| Subject: | Generating docs | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-8113@lists.php.net to get a copy of this message | ||
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
Mark Britton
mbritton@verinet.com