From f3c8cc82829091726dbb7cf39d51be0a1537ee8a Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Wed, 26 Mar 2014 09:17:41 +0000 Subject: [PATCH] add distclean --- doc/Makefile | 2 ++ 1 file changed, 2 insertions(+) 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 + -- 1.7.10.4