@comment $NetBSD: PLIST.opt,v 1.2 2005/02/05 11:19:02 adrianp Exp $
bin/coq-interface.opt
bin/coqtop.opt
man/man1/coqtop.opt.1