I'll know when the documentation gets an update. Thanks.On Sat, 9 Jul 2011, Nick Dokos 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: > > --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 > > > > >
