From b40dca66174f1366d979e46ab9ae235cf2653662 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 22 Nov 2016 12:05:26 +0100
Subject: [PATCH] Makefile: make clean clean properly

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 018782168..1b4d1523b 100644
--- a/Makefile
+++ b/Makefile
@@ -14,6 +14,7 @@ all: Makefile.coq
 
 clean: Makefile.coq
 	+@make -f Makefile.coq clean
+	find \( -name "*.v.d" -o -name "*.vo" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete
 	rm -f Makefile.coq
 
 Makefile.coq: _CoqProject Makefile
-- 
GitLab