From: Wolfram Schneider <wosch@indexdata.dk>
Date: Wed, 26 Mar 2014 09:17:41 +0000 (+0000)
Subject: add distclean
X-Git-Tag: 1.0.0~1233
X-Git-Url: http://sru.miketaylor.org.uk/cgi-bin?a=commitdiff_plain;h=f3c8cc82829091726dbb7cf39d51be0a1537ee8a;p=mkws-moved-to-github.git

add distclean
---

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