diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2000-05-17 11:45:56 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2000-05-17 11:45:56 +0000 |
| commit | d3229ae3bd75cc51f2f6542b542c50db93172be6 (patch) | |
| tree | 4cb73cff2151314730c67e94a05708a8747c51f5 /gdb/doc | |
| parent | d80380145f9edc769f421ab26a0f27819d39b9b5 (diff) | |
| download | gdb-d3229ae3bd75cc51f2f6542b542c50db93172be6.zip gdb-d3229ae3bd75cc51f2f6542b542c50db93172be6.tar.gz gdb-d3229ae3bd75cc51f2f6542b542c50db93172be6.tar.bz2 | |
* mmalloc/Makefile.in (install-info): Make sure $(infodir) exists.
Run install-info program on the installed Info files.
* gdb/doc/Makefile.in (install-info): Run install-info on installed
Info files.
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/doc/Makefile.in | 7 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 25a1a88..1e00dca 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,8 @@ +2000-05-17 Eli Zaretskii <eliz@is.elta.co.il> + + * Makefile.in (install-info): Run install-info on installed Info + files. + Fri May 12 20:18:04 2000 Andrew Cagney <cagney@b1.cygnus.com> * gdb.texinfo: Add Stan Shebs, et.al. as authors. Mention diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 57fac5c..a1d0ae2 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -117,6 +117,13 @@ install-info: info for i in *.info* ; do \ $(INSTALL_DATA) $$i $(infodir)/$$i ; \ 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 \ + echo " install-info --info-dir=$(infodir) $(infodir)/$$file";\ + install-info --info-dir=$(infodir) $(infodir)/$$file || :;\ + done; \ + else : ; fi install-html: html for i in *.html ; do \ |