diff --git a/Makefile b/Makefile
index 8bf123000160fd65bcbd3455f67d536825f33081..474063da725e2f4986fd8c5c564a26e2f051c02a 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,7 @@ all: Makefile.coq
 clean: Makefile.coq
 	+@make -f Makefile.coq clean
 	find theories tests \( -name "*.d" -o -name "*.vo" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete || true
-	rm -f Makefile.coq
+	rm -f Makefile.coq .lia.cache
 .PHONY: clean
 
 # Create Coq Makefile.