diff options
| author | antoine <antoine@FreeBSD.org> | 2014-11-14 17:39:21 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-11-14 17:39:21 +0800 |
| commit | 681060f2aa03c39485ef5edb4b62e1544067caea (patch) | |
| tree | 5b15470a9814d9c3cdd2383f995e3781691905a5 /math/proofgeneral | |
| parent | bf929dc1773a552f3d930cb72112fdef3a39183b (diff) | |
| download | freebsd-ports-gnome-681060f2aa03c39485ef5edb4b62e1544067caea.tar.gz freebsd-ports-gnome-681060f2aa03c39485ef5edb4b62e1544067caea.tar.zst freebsd-ports-gnome-681060f2aa03c39485ef5edb4b62e1544067caea.zip | |
Cleanup plist
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/pkg-plist | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 380ec142b53f..c7a63295133f 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -233,23 +233,3 @@ share/icons/hicolor/48x48/proofgeneral.png share/mime-info/proofgeneral.keys share/mime-info/proofgeneral.mime share/pixmaps/proofgeneral.png -@dirrmtry share/icons/hicolor/48x48 -@dirrmtry share/icons/hicolor/32x32 -@dirrmtry share/icons/hicolor/16x16 -@dirrmtry share/icons/hicolor -@dirrmtry share/icons -@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/phox -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lego -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/isar -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98 -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/coq -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2 -@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral |