diff options
| -rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/doc/Makefile.in | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index ea5fafd..5a0621e 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +2019-04-07 Tom Tromey <tom@tromey.com> + + * Makefile.in (all): Depend on "info". + 2019-04-01 Andrew Burgess <andrew.burgess@embecosm.com> * gdb.texinfo (Convenience Funs): Document '$_creal' and diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 39c94dc..2bb8a30 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -182,7 +182,7 @@ HAVE_NATIVE_GCORE_TARGET = @HAVE_NATIVE_GCORE_TARGET@ ### -all: +all: info info: $(INFO_DEPS) dvi: gdb.dvi stabs.dvi refcard.dvi annotate.dvi |