1COQ(1) General Commands Manual COQ(1)
23
4
NAME
6coq_makefile - The Coq Proof Assistant makefile generator
78
9
SYNOPSIS
11coq_makefile [ arguments ]
1213
DESCRIPTION
15coq_makefile is a makefile generator for Coq proof developments.
1617
OPTIONS
19-h Will give you a description of the whole list of options of
20coq_makefile.
2122
SEE ALSO
24coqtop(1), coqtc(1), coqdep(1).
25The Coq Reference Manual. The Coq web site: http://coq.inria.fr
2627
28
29
COQ(1)