reopen 634741 retitle 634741 debhelper: please set AM_UPDATE_INFO_DIR to no thanks
Eric Dorland, le Sun 05 Feb 2012 01:12:16 -0500, a écrit : > * Samuel Thibault ([email protected]) wrote: > > 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. > > FYI in latest versions of automake, if you set AM_UPDATE_INFO_DIR=no > in the environment it will suppress creating the dir file. If > debhelper just set that it would solve the problem. Reopening the bug and retitling it. Samuel -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
