summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEli Zaretskii <eliz@gnu.org>2000-05-17 11:54:04 +0000
committerEli Zaretskii <eliz@gnu.org>2000-05-17 11:54:04 +0000
commit21a4a8f359de815ba2da2313941ca90857c64461 (patch)
treeacd2117e728247bfd4f5d6079770a4adf54591e1
parentbd1a9a2103dff4cb913eca8c99cad1755aa00b73 (diff)
downloadgdb-21a4a8f359de815ba2da2313941ca90857c64461.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.
-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 7ad21e4a5be..cdbdda9034d 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 \