1 2 3 4 5 6 7 8 9
(install (section man) (package coq-core) (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 coqnative.1)) (install (section man) (package coqide) (files coqide.1))