diff options
Diffstat (limited to 'math/proofgeneral/pkg-plist')
| -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 |