Nick Dokos <nicholas.do...@hp.com> wrote:
> Jude DaShiell <jdash...@shellworld.net> 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:
>
> install-info-debian: $(INFOFILES)
> ginstall-info --infodir=$(infodir) $(INFOFILES)
>
> Will this work for debian?
>
Actually, it probably needs to mirror the options in the standard case:
ginstall-info --info-file=$(INFOFILES) --info-dir=$(infodir)
Nick
