diff --git a/Makefile b/Makefile
index 01878216830123231ca07c709e9f8f92b52a0bea..1b4d1523b2e42ceb77ffec56cc39232c9695cecc 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