[patch] Proposed patch for agda-1.0.2.ebuild

agda.patch (text/plain), 292 bytes, created by Ulrich Müller on 2007-07-05 20:06:14 UTC

--- agda-1.0.2.ebuild~	2007-07-05 21:56:18.000000000 +0200
+++ agda-1.0.2.ebuild	2007-07-05 21:56:56.000000000 +0200
@@ -53,7 +53,9 @@
 }
 
 pkg_postinst() {
-	if use emacs; then
-		elisp-site-regen
-	fi
+	use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+	use emacs && elisp-site-regen
 }