s3:docs: fix distclean target and add realdistclean target

- remove stuff created by configure in distclean
- remove stuff created by autoconf in realdistclean

Michael

diff --git a/docs-xml/Makefile b/docs-xml/Makefile
index 2acef3e2432c012dc6fb552e74306c13420e877c..f5e196d270537ee7e52074efeb529422155b5801 100644 (file)
--- a/docs-xml/Makefile
+++ b/docs-xml/Makefile
@@ -320,7 +320,10 @@ xslt/man.xsl:
 xslt/pearson.xsl:
 
 distclean clobber:: clean
-       rm Makefile.settings config.status config.log configure
+       rm -f Makefile.settings config.status config.log configure
+
+realdistclean:: distclean
+       rm -f configure
        rm -rf autom4te.cache