From ce7673b7b76f2857acd3911ea0bf6aefc842f952 Mon Sep 17 00:00:00 2001
From: Frank LENORMAND <lenormf@gmail.com>
Date: Sun, 26 Mar 2017 10:38:24 +0300
Subject: [PATCH] src: Fix the `distclean` Makefile target

Have the Makefile remove the actual binaries and generated documentation
when called with the `distclean` target
---
 src/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index f254b7e5..dbef95d9 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -103,7 +103,8 @@ clean:
 	rm -f .*.o .*.d
 
 distclean: clean
-	rm -f kak
+	rm -f kak kak$(suffix)
+	find ../doc -type f -name \*\\.gz -exec rm -f '{}' +
 
 installdirs:
 	install -d $(bindir) \