From 5843504f37f47171baafa9b6085ffc2114775084 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Wed, 21 Jan 2004 18:44:52 +0000 Subject: * Makefile.in (install-info): Prepend $(DESTDIR) to $(infodir). --- gdb/doc/Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gdb/doc/Makefile.in') diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index a06cc4a..90043b7 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -171,8 +171,8 @@ install-info: $(INFO_DEPS) @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 -- cgit v1.1