In article <009f01c08abf$cab1cb10$4d0010ac@shuttle>, [EMAIL PROTECTED] 
wrote:
> I think we shuold also mirror the .tar.gz HTML documentation packages in
> all languages. This is not too good to have a single gzipped docs
> download place. Someday it is not working and nobody can download the
> gzipped docs...

we already are, actually, in manual/XX/manual.tar.gz. the docs.php page
just needs to get updated. (its on my todo list....)

jim

Reply via email to