table of contents
other versions
- trixie 8.20.1+dfsg-1+b1
- testing 8.20.1+dfsg-1+b1
- unstable 8.20.1+dfsg-1+b1
- experimental 9.1.0+dfsg-1
| COQ_MAKEFILE(1) | General Commands Manual | COQ_MAKEFILE(1) |
NAME¶
coq_makefile - generate makefiles for Coq proof development
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.
SEE ALSO¶
coqtop(1), coqtc(1), coqdep(1)
The Coq Reference Manual.
The Coq web site: http://coq.inria.fr