Hey ho Lorenzo,
I can't seem to find such a package in Debian... should I
> add some particular repository?
Isn't PHP's greatest strength its online-ness and user comments? Why
not use it that way, there's plenty of mirrors, and browsers usually
have caching mechanisms. :)
If that's not enough, they offer documentation for offline use at [1].
Put short, do your homework. :p
Cheers,
Tom
--
np: Sturmpercht - Gesang der Mooswimmerer
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]