I'm +1 on this: partly for the reasons you mentioned and partly because the manual just takes too long to generate, even on fast hardware!
--Wez. On 08/11/02, "Gabor Hojtsy" <[EMAIL PROTECTED]> wrote: > So as far as I see, the real solution (TM) is to split the manuals, open a > new > module (phpdoc-dev) and put php3devel and streams there. It would also > mean a new separate manual package for download, and so the users > manual and translated versions would only contain information about PHP > and the inner APIs... -- PHP Documentation Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
