Fix cleaning of Coq .vo files.

31cb5c6a · Guillaume Melquiond · ca87ca91 · 31cb5c6a
Commit 31cb5c6a authored Dec 14, 2011 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Makefile.in Makefile.in +1 -1

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -888,7 +888,7 @@ include .depend.coq-libs
 depend: .depend.coq-libs

 clean::
-	rm -f $COQVO $(addsuffix .glob, $(COQLIBS_FILES))
+	rm -f $(COQVO) $(addsuffix .glob, $(COQLIBS_FILES))
 	rm -f .depend.coq-libs

 else