|
| From: | Nick Dokos |
| Subject: | Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem |
| Date: | Sat, 09 Jul 2011 21:40:51 -0400 |
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:
--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
| [Prev in Thread] | Current Thread | [Next in Thread] |