diff options
author | joerg <joerg@pkgsrc.org> | 2009-06-14 20:34:12 +0000 |
---|---|---|
committer | joerg <joerg@pkgsrc.org> | 2009-06-14 20:34:12 +0000 |
commit | 204d20a635f3b82b18354e03b917ddb4187593c9 (patch) | |
tree | fd4620c67e5e10d0afde4e707b400487e3a40032 /lang/coq | |
parent | c26e35368783819aa38b987e63b9985697fce024 (diff) | |
download | pkgsrc-204d20a635f3b82b18354e03b917ddb4187593c9.tar.gz |
Replace @exec/@unexec with @pkgdir or drop it.
Diffstat (limited to 'lang/coq')
-rw-r--r-- | lang/coq/PLIST | 4 |
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 |