From 9fd2f3f9ecfab31295f0ee17eb539f895b57df65 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@janware.com>
Date: Wed, 30 Jan 2019 16:23:20 +0000
Subject: [PATCH] topdir.mk: Remove *dist* with topdir.distclean

Signed-off-by: Jan Lindemann <jan@janware.com>
---
 make/topdir.mk | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/make/topdir.mk b/make/topdir.mk
index d6cf4fc7..a20ebb43 100644
--- a/make/topdir.mk
+++ b/make/topdir.mk
@@ -53,10 +53,11 @@ local-%:
 unlocal:
 	$(RM) -f $(shell find . -name local.mk)
 
-topdir.distclean:
+topdir.distclean: topdir.clean
+	$(RM) -rf dist *.dist
 topdir.clean:
-	$(RM) -f *.done
-topdir.mrproper:
+	$(RM) -rf *.done
+topdir.mrproper: topdir.distclean
 	find . -name '*.rep' | xargs -r $(RM) -f
 
 topdir.install: prefix.done $(INSTALLED_TOPDIR_FILES)