OPT: /usr/share/man/man1/coq-interface.1 /usr/share/man/man1/coq-interface.opt.1
OPT: /usr/share/man/man1/coq-parser.1 /usr/share/man/man1/coq-parser.opt.1