aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2007-10-25 13:51:59 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2007-10-25 13:51:59 +0000
commitd1b75ebd5d8998c4b06aa3d7abcef3a22e8fda00 (patch)
tree3081b3b98f44cd307086c45c7f6e158cb3945b22 /etc
parent803d6be6f359c3fb4d8587d1ae95d09e8cfeac33 (diff)
Use %{version} tag in source file name
Diffstat (limited to 'etc')
-rw-r--r--etc/ProofGeneral.spec2
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 9e26d850..115956fe 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -6,7 +6,7 @@ Group: Text Editors/Integrated Development Environments (IDE)
License: GPL
Url: http://proofgeneral.inf.ed.ac.uk/
Packager: David Aspinall <David.Aspinall@ed.ac.uk>
-Source: http://proofgeneral.inf.ed.ac.uk/ProofGeneral-3.7pre071025.tar.gz
+Source: http://proofgeneral.inf.ed.ac.uk/ProofGeneral-%{version}.tar.gz
BuildRoot: /tmp/ProofGeneral-root
BuildRequires: emacs, xemacs
PreReq: /sbin/install-info