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