add distclean

[mkws-moved-to-github.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index ee67fbe..aa04978 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -43,3 +43,5 @@ all: $(DOCS)
 clean:
        rm -f $(DOCS)
 
+distclean: clean
+