This is the mail archive of the gdb-patches@sources.redhat.com mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [RFA] Fix "make install" for Info files


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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]