From 703faa66df590e84219d49b96d17dcab8ba5da2d Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 12 Jun 2016 17:53:50 +0900
Subject: [PATCH] more complete cleaning

---
 eu/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/eu/Makefile b/eu/Makefile
index 3a8a3af..da17f4f 100644
--- a/eu/Makefile
+++ b/eu/Makefile
@@ -14,3 +14,6 @@ include $(PREFIX)/Makefile.vars
 TEXINPUTS = .:
 include $(PREFIX)/Makefile.in
 
+clean distclean:
+	@for d in $(EXDIRS); do (cd $$d && $(MAKE) -$(MAKEFLAGS) $@); done;
+