RE: phpweb / download-docs.php

Wouldn't it be better to change these now to be distributions/manual/pdf/... distributions/manual/chm/... As in the near future (I hope so), the folowing formats will also be there: distributions/manual/html/... distributions/manual/text/... distributions/manual/palm/... This way the formats wont make a big directory... Hope this can work :) What about the manual naming conventions, I tried to suggest earlier? Is it ok, to modify the _Makefile in phpdoc_, the _PDF generator_ and _CHM generator_ scripts to output such files as: php_manual_$LANG.$FORMAT [See the whole list in my previous letter] Goba