diff options
| author | Daniel Jacobowitz <dan@debian.org> | 2003-03-03 03:59:16 +0000 |
|---|---|---|
| committer | Daniel Jacobowitz <dan@debian.org> | 2003-03-03 03:59:16 +0000 |
| commit | 3c0af1f0bd1c0a96fd441e213d13dbfabbf90e88 (patch) | |
| tree | 621a8577a34627f0d5024a3e227e4ea613e0d347 /gdb/doc/Makefile.in | |
| parent | ec357e17ea9851fe0070e340baa80f7326c8515a (diff) | |
| download | gdb-3c0af1f0bd1c0a96fd441e213d13dbfabbf90e88.tar.gz | |
* Makefile.in (distclean): Remove config.log.
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 |