diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index b8ac0ee..44ca074 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -489,7 +489,7 @@ annotate_toc.html: $(ANNOTATE_DOC_FILES) force: -Makefile: Makefile.in $(host_makefile_frag) $(target_makefile_frag) config.status +Makefile: Makefile.in $(host_makefile_frag) config.status $(SHELL) ./config.status |