1 2
/usr/share/man/man1/coqide.1 /usr/share/man/man1/coqide.byte.1 OPT: /usr/share/man/man1/coqide.1 /usr/share/man/man1/coqide.opt.1