diff --git a/math/coq/Makefile b/math/coq/Makefile
index 6dcfc4aac21..ac201941b15 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -1,10 +1,10 @@
-# $OpenBSD: Makefile,v 1.34 2017/02/25 18:58:04 daniel Exp $
+# $OpenBSD: Makefile,v 1.35 2018/05/20 08:25:36 espie Exp $
 
 COMMENT=		proof assistant based on a typed lambda calculus
 
 V=			8.4pl6
 DISTNAME=		coq-$V
-REVISION=		2
+REVISION=		3
 
 CATEGORIES=		math
 HOMEPAGE=		https://coq.inria.fr/
diff --git a/math/coq/pkg/PLIST b/math/coq/pkg/PLIST
index f24478990d5..e2577fee67b 100644
--- a/math/coq/pkg/PLIST
+++ b/math/coq/pkg/PLIST
@@ -1,4 +1,4 @@
-@comment $OpenBSD: PLIST,v 1.9 2016/03/29 11:27:01 naddy Exp $
+@comment $OpenBSD: PLIST,v 1.10 2018/05/20 08:25:36 espie Exp $
 %%native%%
 @bin bin/coq-tex
 @bin bin/coq_makefile
@@ -1004,6 +1004,8 @@ share/doc/coq/COPYRIGHT
 share/doc/coq/CREDITS
 share/doc/coq/FAQ-CoqIde
 share/doc/coq/LICENSE
+share/emacs/
+share/emacs/site-lisp/
 share/emacs/site-lisp/coq-db.el
 share/emacs/site-lisp/coq-font-lock.el
 share/emacs/site-lisp/coq-inferior.el