diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index ecd7690f9..e63e1b21b 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -198,6 +198,7 @@ distclean: clean distclean-vti distclean-info distclean-generic maintainer-clean: distclean maintainer-clean-vti maintainer-clean-info maintainer-clean-generic @echo "This command is intended for maintainers to use;" @echo "it deletes files that may require special tools to rebuild." + rm -f config.status .SUFFIXES: |