summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorjoerg <joerg@pkgsrc.org>2009-06-14 20:34:12 +0000
committerjoerg <joerg@pkgsrc.org>2009-06-14 20:34:12 +0000
commit204d20a635f3b82b18354e03b917ddb4187593c9 (patch)
treefd4620c67e5e10d0afde4e707b400487e3a40032 /lang/coq
parentc26e35368783819aa38b987e63b9985697fce024 (diff)
downloadpkgsrc-204d20a635f3b82b18354e03b917ddb4187593c9.tar.gz
Replace @exec/@unexec with @pkgdir or drop it.
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/PLIST4
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/PLIST b/lang/coq/PLIST
index 6de34047334..ceca5865564 100644
--- a/lang/coq/PLIST
+++ b/lang/coq/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.8 2009/06/14 18:03:29 joerg Exp $
+@comment $NetBSD: PLIST,v 1.9 2009/06/14 20:34:13 joerg Exp $
bin/coq-interface
bin/coq-tex
bin/coq_makefile
@@ -357,4 +357,4 @@ man/man1/parser.1
share/emacs/site-lisp/coq-inferior.el
share/emacs/site-lisp/coq.el
share/emacs/site-lisp/coqdoc.sty
-@exec ${MKDIR} %D/lib/coq/user-contrib
+@pkgdir lib/coq/user-contrib