[ghc-Agda] fix agda2-mode.el agda2-version properly with %version

[Jens Petersen]

commit eaadd4aac567696576829e7236c93db2ebed6cd6
Author: Jens Petersen <petersen at redhat.com>
Date:   Wed Jul 11 12:49:18 2012 +0900

    fix agda2-mode.el agda2-version properly with %version

 ghc-Agda.spec |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/ghc-Agda.spec b/ghc-Agda.spec
index a7dee08..edef676 100644
--- a/ghc-Agda.spec
+++ b/ghc-Agda.spec
@@ -90,7 +90,7 @@ This provides the Emacs Lisp source files for the Agda interactive mode.
 
 # tweak the Agda version in the emacs mode
 if grep -q \"2.3.0\" src/data/emacs-mode/agda2-mode.el; then
-  sed -i.orig -e 's/agda2-version "2.3.0"/agda2-version "2.3.1"/' src/data/emacs-mode/agda2-mode.el
+  sed -i -e 's/agda2-version "2.3.0"/agda2-version "%{version}"/' src/data/emacs-mode/agda2-mode.el
 else
   echo "agda2-version in src/data/emacs-mode/agda2-mode.el changed!"
   exit 1