diff options
author | joerg <joerg@pkgsrc.org> | 2009-06-14 18:03:28 +0000 |
---|---|---|
committer | joerg <joerg@pkgsrc.org> | 2009-06-14 18:03:28 +0000 |
commit | 24151e2b9991726fa4bcd0ace9289f45de0f325e (patch) | |
tree | e480593a5528c87f4756a95ff01a9ad8870ea552 /lang/coq | |
parent | 548d7fd5a95be0c24af3a00066cd67985f359815 (diff) | |
download | pkgsrc-24151e2b9991726fa4bcd0ace9289f45de0f325e.tar.gz |
Remove @dirrm entries from PLISTs
Diffstat (limited to 'lang/coq')
-rw-r--r-- | lang/coq/PLIST | 37 |
1 files changed, 1 insertions, 36 deletions
diff --git a/lang/coq/PLIST b/lang/coq/PLIST index 3bf6d11d594..6de34047334 100644 --- a/lang/coq/PLIST +++ b/lang/coq/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.7 2008/04/12 22:43:02 jlam Exp $ +@comment $NetBSD: PLIST,v 1.8 2009/06/14 18:03:29 joerg Exp $ bin/coq-interface bin/coq-tex bin/coq_makefile @@ -358,38 +358,3 @@ 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 -@dirrm lib/coq/user-contrib -@dirrm lib/coq/tools/coqdoc -@dirrm lib/coq/tools -@dirrm lib/coq/theories/ZArith -@dirrm lib/coq/theories/Wellfounded -@dirrm lib/coq/theories/Strings -@dirrm lib/coq/theories/Sorting -@dirrm lib/coq/theories/Sets -@dirrm lib/coq/theories/Setoids -@dirrm lib/coq/theories/Relations -@dirrm lib/coq/theories/Reals -@dirrm lib/coq/theories/QArith -@dirrm lib/coq/theories/NArith -@dirrm lib/coq/theories/Logic -@dirrm lib/coq/theories/Lists -@dirrm lib/coq/theories/IntMap -@dirrm lib/coq/theories/Init -@dirrm lib/coq/theories/FSets -@dirrm lib/coq/theories/Bool -@dirrm lib/coq/theories/Arith -@dirrm lib/coq/theories -@dirrm lib/coq/states -@dirrm lib/coq/ide -@dirrm lib/coq/contrib/subtac -@dirrm lib/coq/contrib/setoid_ring -@dirrm lib/coq/contrib/rtauto -@dirrm lib/coq/contrib/romega -@dirrm lib/coq/contrib/ring -@dirrm lib/coq/contrib/recdef -@dirrm lib/coq/contrib/omega -@dirrm lib/coq/contrib/interface -@dirrm lib/coq/contrib/fourier -@dirrm lib/coq/contrib/field -@dirrm lib/coq/contrib -@dirrm lib/coq |