[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] patch org-mode Makefile - solve a couple debian build problems a
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:44:28 -0400 |
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
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, (continued)
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Achim Gratz, 2011/07/08
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Nick Dokos, 2011/07/08
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Achim Gratz, 2011/07/09
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Bastien, 2011/07/09
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Nick Dokos, 2011/07/09
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Achim Gratz, 2011/07/09
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Jude DaShiell, 2011/07/09
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Nick Dokos, 2011/07/09
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem,
Nick Dokos <=
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Jude DaShiell, 2011/07/10
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Achim Gratz, 2011/07/10
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Jude DaShiell, 2011/07/10
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Achim Gratz, 2011/07/10
- Re: [O] patch org-mode Makefile - solve a couple debian build problems and a slackware build problem, Jambunathan K, 2011/07/08