diff options
author | 2007-10-25 13:51:59 +0000 | |
---|---|---|
committer | 2007-10-25 13:51:59 +0000 | |
commit | d1b75ebd5d8998c4b06aa3d7abcef3a22e8fda00 (patch) | |
tree | 3081b3b98f44cd307086c45c7f6e158cb3945b22 /etc | |
parent | 803d6be6f359c3fb4d8587d1ae95d09e8cfeac33 (diff) |
Use %{version} tag in source file name
Diffstat (limited to 'etc')
-rw-r--r-- | etc/ProofGeneral.spec | 2 |
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 |