diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 68fdaadfd1..56998ab866 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -314,6 +314,7 @@ xslt/pearson.xsl: distclean clobber: clean rm Makefile.settings config.status config.log configure + rm -rf autom4te.cache # Always keep intermediate files if we can |