aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--math/proofgeneral/pkg-plist3
1 files changed, 3 insertions, 0 deletions
diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist
index 20d016a4d2a4..06d0b1aad2e8 100644
--- a/math/proofgeneral/pkg-plist
+++ b/math/proofgeneral/pkg-plist
@@ -378,3 +378,6 @@ share/icons/hicolor/48x48/proofgeneral.png
share/mime-info/proofgeneral.keys
share/mime-info/proofgeneral.mime
share/pixmaps/proofgeneral.png
+@unexec /bin/rmdir %D/share/pixmaps 2>/dev/null || /usr/bin/true
+@unexec /bin/rmdir %D/share/mime-info 2>/dev/null || /usr/bin/true
+@unexec /bin/rmdir %D/share/application-registry 2>/dev/null || /usr/bin/true