From cb7bab7a41f086eef33a27c97f8cdb8d5181971f Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Wed, 26 Mar 2014 09:20:27 +0000 Subject: [PATCH] improve distclean --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 93a1423..75a9e2d 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -45,7 +45,7 @@ all: $(DOCS) clean: rm -f $(DOCS) -distclean: clean +distclean: clean uninstall help: @echo "make [ all | install | clean | distclean ]" -- 1.7.10.4