From 2163a0e20447ada7cc7cca0b09e092c662ead968 Mon Sep 17 00:00:00 2001
From: Phuntsok Drak-pa <phundrak@phundrak.fr>
Date: Wed, 31 Oct 2018 11:43:45 +0100
Subject: [PATCH] make clean makes repository cleaner (sounds like an ad)

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

diff --git a/Makefile b/Makefile
index 90c84d7..95886e2 100644
--- a/Makefile
+++ b/Makefile
@@ -10,3 +10,6 @@ clean:
 	@rm -rf bin
 	@rm -rf build
 	@rm -rf debug
+	@rm -rf doc/html
+	@rm -rf doc/latex
+	@rm -rf gmon.out