* Makefile.in (install-info): Prepend $(DESTDIR) to $(infodir).
authorEli Zaretskii <eliz@gnu.org>
Wed, 21 Jan 2004 18:44:52 +0000 (18:44 +0000)
committerEli Zaretskii <eliz@gnu.org>
Wed, 21 Jan 2004 18:44:52 +0000 (18:44 +0000)
gdb/doc/ChangeLog
gdb/doc/Makefile.in

index 1f6726b..ef9dc92 100644 (file)
@@ -1,3 +1,7 @@
+2004-01-21  Eli Zaretskii  <eliz@gnu.org>
+
+       * Makefile.in (install-info): Prepend $(DESTDIR) to $(infodir).
+
 2004-01-19  Michael Chastain  <mec.gnu@mindspring.com>
 
        * gdbint.texinfo: Delete USE_MMALLOC, NO_MMCHECK, MMCHECK_FORCE,
index a06cc4a..90043b7 100644 (file)
@@ -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