Commit d79ad749 authored by POTTIER Francois's avatar POTTIER Francois

Makefile.coq: let [make clean] remove *.vos and *.vok.

parent 004c3b33
Pipeline #204994 passed with stages
in 56 seconds
......@@ -193,7 +193,7 @@ clean::
(cd $$d && \
rm -f *~ && \
rm -f .*.aux && \
rm -f *.{vo,vio,vq,v.d,aux,glob,cache,crashcoqide} && \
rm -f *.{vo,vos,vok,vio,vq,v.d,aux,glob,cache,crashcoqide} && \
rm -rf *.coq-native *.coqide && \
true) ; \
done
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment