Samuel Thibault wrote: > produces a package with a /usr/share/info/dir.gz. Shouldn't debhelper > be able to drop dir? For now, the solution we have found is to tell > dh_auto_install to install in debian/tmp, and create a debian/install > which contains all the desired directories, which is tedious. Or another > solution would be to remove the file explicitly after dh_auto_install, > but dh_auto_install could as well just do it itself, to avoid the > same tedious thing for all simple packages which have a texinfo > documentation.
dh_auto_install is just a generic way to run "make install", it's not appropriate for it to go in and try to override the installation sequence. dh_install -X could be used, or you could fix the Makefile to not install it (why should an arbitrary make install overwrite /usr/share/info/dir.gz?), or possibly fix texinfo to not create it when building documentation. -- see shy jo
signature.asc
Description: Digital signature
