What should be done about /usr/share/php/docs ? I see that php-pear puts files there, as does the current version of dh-make-php. My first thought is that the directory simply shouldn't exist. If ever it does exist, its contents should possibly be symlinks to /usr/share/doc/php-* (as texmf does, for example). Some of my dh-make-php packages are in the bad situation where some documentation is both in /usr/share/php/docs and in /usr/share/doc/php-*. Any suggestions on the right way to deal with this? This actually sounds a lot more like policy than most of the other dh-make-php ideas which we have been discussion previously. Charles -- It's best for One who hits The bottle To let another Use the throttle Burma-Shave http://burma-shave.org/jingles/1940/its_best_for
Attachment:
signature.asc
Description: Digital signature