OPT: /usr/share/man/man1/coqchk.1 /usr/share/man/man1/coqchk.opt.1