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 | a0c351cfc51a969de344c350f42f3e7199f4707b (patch) | |
| tree | e480593a5528c87f4756a95ff01a9ad8870ea552 /lang/coq | |
| parent | ab6598f58eff6ad19189767095dd0af665633093 (diff) | |
| download | pkgsrc-a0c351cfc51a969de344c350f42f3e7199f4707b.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 |