coq_makefile *.v > Makefile
