diff options
author | Eli Zaretskii <eliz@gnu.org> | 2000-06-25 08:12:30 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2000-06-25 08:12:30 +0000 |
commit | 4fffeff85c975fd86b1c48083d236cd5b93a393b (patch) | |
tree | 9beb25e51fd3486749a465adfbc0c92b35b15311 /gdb/doc/Makefile.in | |
parent | dccaf52858e62aca6a05aa127e8573111d52db64 (diff) | |
download | gdb-4fffeff85c975fd86b1c48083d236cd5b93a393b.tar.gz |
* Makefile.in (install-info): Support installation from outside of
the source directory. Reported by Mark Harig
<markh@frazier.landmark.com>.
Diffstat (limited to 'gdb/doc/Makefile.in')
-rw-r--r-- | gdb/doc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 025c20ed68d..f4c7af8e6dc 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -118,9 +118,10 @@ diststuff: info install-info: info $(SHELL) $(srcdir)/../../mkinstalldirs $(infodir) + (cd $(srcdir); \ for i in *.info* ; do \ $(INSTALL_DATA) $$i $(infodir)/$$i ; \ - done + done) @if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \ list='gdb.info gdbint.info stabs.info'; \ for file in $$list; do \ |