Man page - coq_makefile(1)

Packages contains this manual

Package:  coq
apt-get install coq

Manuals in package:
• coqtop.byte(1)
• coqchk(1)
• coqchk.opt(1)
• coqnative(1)
• coqc.byte(1)
• coqtop(1)
• coqc(1)
• coqdep(1)
• coq_makefile(1)
• coq-tex(1)
• coqdoc(1)
• coqwc(1)
Documentations in package:
• coq

Manual

COQ_MAKEFILE

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
SEE ALSO

---

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

---