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 | cc542d3bd4fe777533664233a8bdccffa535d124 (patch) | |
| tree | 4c591ad5e8aebc4f8557435f9b70391f9f948f8c /gdb/doc | |
| parent | 6d249963bc2ecdc346965307b446cccb7b6cbd28 (diff) | |
| download | gdb-cc542d3bd4fe777533664233a8bdccffa535d124.zip gdb-cc542d3bd4fe777533664233a8bdccffa535d124.tar.gz gdb-cc542d3bd4fe777533664233a8bdccffa535d124.tar.bz2 | |
* 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')
| -rw-r--r-- | gdb/doc/ChangeLog | 6 | ||||
| -rw-r--r-- | gdb/doc/Makefile.in | 3 |
2 files changed, 8 insertions, 1 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 3a6ae4b..d167bf8 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,9 @@ +2000-06-25 Eli Zaretskii <eliz@is.elta.co.il> + + * Makefile.in (install-info): Support installation from outside of + the source directory. Reported by Mark Harig + <markh@frazier.landmark.com>. + 2000-06-20 J.T. Conklin <jtc@redback.com> * gdb.texinfo: Fix typo, $bpnum is set to last breakpoint number. diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 025c20e..f4c7af8 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 \ |