summaryrefslogtreecommitdiff
path: root/gdb
diff options
context:
space:
mode:
authorEli Zaretskii <eliz@gnu.org>2000-05-17 11:45:56 +0000
committerEli Zaretskii <eliz@gnu.org>2000-05-17 11:45:56 +0000
commitf6d60dfe08c9da971e53980fbaa126160b75f0d6 (patch)
tree2858426375feb26e17f0be2eea6a2b2575953cfe /gdb
parent12aae2f7e4db6cb42fbcf906b2ccbaa3e2b586d2 (diff)
downloadgdb-f6d60dfe08c9da971e53980fbaa126160b75f0d6.tar.gz
* 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')
-rw-r--r--gdb/doc/ChangeLog5
-rw-r--r--gdb/doc/Makefile.in7
2 files changed, 12 insertions, 0 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 25a1a8834e3..1e00dca7da8 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 57fac5cb04a..a1d0ae2e9e5 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 \