This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: [RFA] Fix "make install" for Info files
- From: Daniel Jacobowitz <drow at mvista dot com>
- To: gdb-patches at sources dot redhat dot com
- Date: Wed, 21 Jan 2004 10:16:23 -0500
- Subject: Re: [RFA] Fix "make install" for Info files
- References: <uvfn5o7wo.fsf@elta.co.il>
On Wed, Jan 21, 2004 at 01:31:03PM +0200, Eli Zaretskii wrote:
> The change below is required for "make install" to DTRT when running
> `install-info' after installing the Info files, in case DESTDIR is
> set to something other than the empty string.
>
> Okay to commit? I'd say it's ob-ish (and bfd/doc/Makefile.in does it
> exactly as I did below), but...
I'd agree with you - not to mention that you could approve it yourself
even if it weren't. It is definitely correct.
>
> 2004-01-21 Eli Zaretskii <eliz@elta.co.il>
>
> * Makefile.in (install-info): Prepend $(DESTDIR) to $(infodir).
>
> --- gdb/doc/Makefile.i~0 2003-08-08 17:30:36.000000000 +0200
> +++ gdb/doc/Makefile.in 2004-01-21 12:06:44.000000000 +0200
> @@ -171,8 +171,8 @@
> @if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \
> list='$(INFO_DEPS)'; \
> for file in $$list; do \
> - echo " install-info --info-dir=$(infodir) $(DESTDIR)$(infodir)/$$file";\
> - install-info --info-dir=$(infodir) $(DESTDIR)$(infodir)/$$file || :;\
> + echo " install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$$file";\
> + install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$$file || :;\
> done; \
> else : ; fi
>
>
>
--
Daniel Jacobowitz
MontaVista Software Debian GNU/Linux Developer