coq_makefile -f _CoqProject -o CoqMakefile
make -f CoqMakefile clean
make[1]: Entering directory
CLEAN
make[1]: Leaving directory
make -f CoqMakefile
/home/opam/opam-coq.8.10.2
