diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 80f39b301c..2791e4581b 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -134,7 +134,7 @@ STABS_DOC_FILES = \ #### Host, target, and site specific Makefile fragments come in here. ### -all install: +all: info: $(INFO_DEPS) dvi: gdb.dvi gdbint.dvi stabs.dvi refcard.dvi @@ -432,3 +432,4 @@ distclean: clean maintainer-clean realclean: distclean rm -f GDBvn.texi *.info* *.dvi *.ps *.html *.pdf +install: install-info |
