[PHP-DEV] Online manual update? From: Andrei Zmievski (andrei <email protected>)
Date: 04/29/00

How do you update the online manual from sources? I remember something
vaguely about 'make sync', but I'd like to be sure.

-Andrei
* It said 'Winmodem' on the box, but I still feel like I lost. * 

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>