diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index ba97376..0f4bdd8 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -294,6 +294,9 @@ gdb-internals: gdbint.info gdbint.info: gdbint.texinfo $(MAKEINFO) -o gdbint.info $(srcdir)/gdbint.texinfo +stabs.info: stabs.texinfo + $(MAKEINFO) -o stabs.info $(srcdir)/stabs.texinfo + force: Makefile: $(srcdir)/Makefile.in $(host_makefile_frag) $(target_makefile_frag) |