diff options
| author | Sergey Matveychuk <sem@FreeBSD.org> | 2006-05-16 12:03:31 +0000 |
|---|---|---|
| committer | Sergey Matveychuk <sem@FreeBSD.org> | 2006-05-16 12:03:31 +0000 |
| commit | 5b2dded8cd50917c5908677d4dcf4230aca5f43a (patch) | |
| tree | 24881d6d9751ff0c1a1c08f360c0929d6b668e6f /math/proofgeneral | |
| parent | e2bfc03996a3a70a474c4f8135ea606b4c63d7c1 (diff) | |
| download | ports-5b2dded8cd50917c5908677d4dcf4230aca5f43a.tar.gz ports-5b2dded8cd50917c5908677d4dcf4230aca5f43a.zip | |
Notes
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/pkg-plist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 3569cfb39ff7..58d76abc9d70 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -427,6 +427,7 @@ bin/proofgeneral @dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2 @dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral @dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d +@dirrmtry %%EMACS_SITE_LISPDIR%% share/application-registry/proofgeneral.applications share/applications/proofgeneral.desktop share/icons/hicolor/16x16/proofgeneral.png |