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]

[RFA] Fix "make install" for Info files


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...

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
 


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