SYNOPSIS coq_makefile [ arguments ] DESCRIPTION coq_makefile is a makefile generator for Coq proof developments. OPTIONS -h Will give you a description of the whole list of options of coq_makefile.