diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 7 |
1 files changed, 7 insertions, 0 deletions
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 \ |