diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2004-01-21 18:44:52 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2004-01-21 18:44:52 +0000 |
| commit | 5843504f37f47171baafa9b6085ffc2114775084 (patch) | |
| tree | b526a76b474ef4151e0554d2e90afc7f74425d60 /gdb/doc/Makefile.in | |
| parent | 877522dba4007c090d5922ae942bd48b584b48ad (diff) | |
| download | gdb-5843504f37f47171baafa9b6085ffc2114775084.zip gdb-5843504f37f47171baafa9b6085ffc2114775084.tar.gz gdb-5843504f37f47171baafa9b6085ffc2114775084.tar.bz2 | |
* Makefile.in (install-info): Prepend $(DESTDIR) to $(infodir).
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
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 |