From 410a80faf977ed0a63a0167ebdd88e42e7febc3a Mon Sep 17 00:00:00 2001
From: Steffen Vogel <stvogel@eonerc.rwth-aachen.de>
Date: Thu, 13 Oct 2016 19:46:57 -0400
Subject: [PATCH] do not try to delete directories

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 90599816f..cc0b737f3 100644
--- a/Makefile
+++ b/Makefile
@@ -113,6 +113,7 @@ doc:
 %/:
 	mkdir -p $@
 
+.PRECIOUS: %/
 .SECONDEXPANSION:
 
 -include $(wildcard $(BUILDDIR)/**/*.d)