Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem

[Nick Dokos]

Nick Dokos <address@hidden> wrote:

> Jude DaShiell <address@hidden> 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