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 b17cce83dad..1d5ad3e271c 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -440,7 +440,7 @@ clean: mostlyclean rm -f gdb-cfg.texi distclean: clean - rm -f Makefile config.status + rm -f Makefile config.status config.log # GDBvn.texi, the dvi files, the info files, and the postscript files, # are all part of the distribution, so it should not be removed by |