aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/Makefile.am3
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am
index 17b3909ca..ae5ceecae 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -81,3 +81,6 @@ pdf: $(PDFPAGES)
rm $$foo.ps; \
echo "converted $< to $@")
+distclean:
+ rm -f $(CLEANFILES)
+