diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-01-22 02:30:01 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-01-22 02:30:01 +0000 |
| commit | a437d08ecacfe1693a6e9f6ee1906a6f425ca700 (patch) | |
| tree | 547a63eef9c79ff429d082d13015036a6cfa4c85 /math/proofgeneral | |
| parent | 0416031c9ba13da33845bc762078065b482dd551 (diff) | |
Notes
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/pkg-plist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 06d0b1aad2e8..421e1ecf4b58 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -369,7 +369,7 @@ bin/proofgeneral @dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/coq @dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2 @dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral -@unexec rmdir %D/%%EMACS_SITE_LISPDIR%%/site-start.d 2>/dev/null || true +@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d share/application-registry/proofgeneral.applications share/applications/proofgeneral.desktop share/icons/hicolor/16x16/proofgeneral.png |