Makefile: make clean clean properly

b40dca66 · Ralf Jung · 49e3e00f · b40dca66
Commit b40dca66 authored Nov 22, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

Makefile Makefile +1 -0

No files found.
--- 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