diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 025c20ed68d..d591f5a5e1a 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -62,6 +62,9 @@ GDBMI_DIR = ${gdbdir}/mi SET_TEXINPUTS = \ TEXINPUTS=${TEXIDIR}:.:$(srcdir):$(READLINE_DIR):$(GDBMI_DIR):$$TEXINPUTS +# Files which should be generated via 'info' and installed by 'install-info' +INFO_DEPS = gdb.info gdbint.info stabs.info + # There may be alternate predefined collections of switches to configure # the GDB manual. Normally this is not done in synch with the software # config system, since this choice tends to be independent; most people @@ -108,7 +111,7 @@ SFILES_DOC = $(SFILES_LOCAL) $(GDBMI_DIR)/gdbmi.texinfo \ all install: -info: gdb.info gdbint.info stabs.info +info: $(INFO_DEPS) dvi: gdb.dvi gdbint.dvi stabs.dvi refcard.dvi ps: gdb.ps gdbint.ps stabs.ps refcard.ps html: gdb_toc.html gdbint_toc.html stabs_toc.html @@ -116,13 +119,20 @@ pdf: gdb.pdf gdbint.pdf stabs.pdf all-doc: info dvi ps # pdf diststuff: info -install-info: info +install-info: $(INFO_DEPS) $(SHELL) $(srcdir)/../../mkinstalldirs $(infodir) - for i in *.info* ; do \ - $(INSTALL_DATA) $$i $(infodir)/$$i ; \ + @list='$(INFO_DEPS)'; \ + for file in $$list; do \ + if test -f $$file; then d=.; else d=$(srcdir); fi; \ + for ifile in `cd $$d && echo $$file $$file-[0-9] $$file-[0-9][0-9]`; do \ + if test -f $$d/$$ifile; then \ + echo " $(INSTALL_DATA) $$d/$$ifile $(infodir)/$$ifile"; \ + $(INSTALL_DATA) $$d/$$ifile $(infodir)/$$ifile; \ + else : ; fi; \ + 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'; \ + list='$(INFO_DEPS)'; \ for file in $$list; do \ echo " install-info --info-dir=$(infodir) $(infodir)/$$file";\ install-info --info-dir=$(infodir) $(infodir)/$$file || :;\ |