This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
[RFA] Fix "make install" for Info files
- From: Eli Zaretskii <eliz at elta dot co dot il>
- To: gdb-patches at sources dot redhat dot com
- Date: 21 Jan 2004 13:31:03 +0200
- Subject: [RFA] Fix "make install" for Info files
- Reply-to: Eli Zaretskii <eliz at elta dot co dot il>
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