.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index ecd7690f9dbdffa553d6e93935124e44a5373883..e63e1b21be6880b3ebcced19f38e1c071ef2e6f0 100644 (file)
--- 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:

diff --git a/lib/Makefile.in b/lib/Makefile.in
index b417cb44d6cfc05f831c27f275f2dd0154bffb3f..057426c3f8656e507b8ffb6c25b3bdf824d07fcf 100644 (file)
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -234,6 +234,7 @@ distclean: clean distclean-noinstLIBRARIES distclean-compile distclean-tags dist
 maintainer-clean: distclean maintainer-clean-noinstLIBRARIES maintainer-clean-compile maintainer-clean-tags 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: