diff options
| -rw-r--r-- | docs-xml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs-xml/Makefile b/docs-xml/Makefile index f5e196d2705..08e3f5ebaa3 100644 --- a/docs-xml/Makefile +++ b/docs-xml/Makefile @@ -320,7 +320,7 @@ xslt/man.xsl: xslt/pearson.xsl: distclean clobber:: clean - rm -f Makefile.settings config.status config.log configure + rm -f Makefile.settings config.status config.log realdistclean:: distclean rm -f configure |