CVS: cvs.openbsd.org: ports

[Marc Espie]

CVSROOT:        /cvs
Module name:    ports
Changes by:     es...@cvs.openbsd.org   2018/05/20 02:25:36

Modified files:
        math/coq       : Makefile 
        math/coq/pkg   : PLIST 

Log message:
this does need the emacs dirs