Joey Hess, le Tue 19 Jul 2011 17:54:06 -0400, a écrit : > 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,
In the case at stake, no, because it's a single-binary package, so everything is already installed. One thus has to pass --destdir to dh_auto_install, and then use dh_install by hand, it's a bit tedious. > or you could fix the Makefile to not install it It's an automake Makefile, I don't really want to patch that :) > (why should an arbitrary make install overwrite > /usr/share/info/dir.gz?), It doesn't overwrites it, it updates it. make install is originally intended to install in the real place ;) > or possibly fix texinfo to not create it when building documentation. That could be an option. Cc-ing automake: in the case DESTDIR is not empty, automake should perhaps prevent the dir.gz update. Samuel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
