diff options
| -rw-r--r-- | docs-xml/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs-xml/Makefile b/docs-xml/Makefile index 2acef3e243..f5e196d270 100644 --- 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 |