man/dune


1
2
3
4
5
6
7
8
9
10

(install
 (section man)
 (package coq)
 (files coqc.1 coqtop.1 coqtop.byte.1 coqtop.opt.1 coqchk.1 coqdep.1 coqdoc.1 coq_makefile.1 coq-tex.1 coqwc.1))

(install
 (section man)
 (package coqide)
 (files coqide.1))