Jude DaShiell <[email protected]> wrote:
> If a make is done on debian squeeze with default org-mode install-info
> which is debian's version of install-info complains that it's not gnu
> info and tells you to use ginstall-info when a make install-info-debian
> or make install-info is tried and neither one of those switches for make
> upgrades the info documentation.
OK. Since a debian-specific target exists and is documented, how about
using ginstall-info explicitly in the install-info-debian target in the
Makefile like this:
--8<---------------cut here---------------start------------->8---
install-info-debian: $(INFOFILES)
ginstall-info --infodir=$(infodir) $(INFOFILES)
--8<---------------cut here---------------end--------------->8---
Will this work for debian?
Nick
