make clean makes repository cleaner (sounds like an ad)

2018-10-31 11:43:45 +01:00 · 2018-10-31 11:43:45 +01:00 · 2163a0e204
commit 2163a0e204
parent ec8676e7ab
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -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