Removed spurious fi

1 files changed, 5 insertions, 4 deletions

diff --git a/Makefile.devel b/Makefile.devel
index 48c0dd78..537fc33f 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -47,6 +47,7 @@
 # html/download.html
 PRERELEASE_TAG=2.0pre$(shell date "+%y%m%d")
 
+
 # This is used for full releases to control the tag name
 # and distribution name.  No editing of html is done
 # when PRERELEASE_TAG != VERSION
@@ -218,14 +219,14 @@ tag:
 	@echo " Tagging sources... (fails if CVS source dirty)"
 	@echo "*************************************************"
 	if [ -n "`cvs -n -q update`" ]; then exit 1; fi
+# Tag proof-site.el and ProofGeneral.spec
 	(cd generic; mv proof-site.el proof-site.el.old; sed -e 's/defconst proof-version \".*\"/defconst proof-version \"Proof General, Version $(VERSION) released by da,tms. Email proofgen@dcs.ed.ac.uk.\"/g' proof-site.el.old > proof-site.el; rm proof-site.el.old)
-# FIXME: the sed command below relies on previous value of PRERELEASE_TAG.
-# (that it begins with 2.0pre)
+	(cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/Version:.*$$/Version:	$(VERSION)/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old)
+# Edit download.html only for prereleases.
+# Careful: the sed command below relies on previous value of PRERELEASE_TAG.
 	if [ $(PRERELEASE_TAG) = $(VERSION) ]; then \
 	  (cd html; mv download.html download.html.old; sed -e 's|ProofGeneral-2\.0pre......|ProofGeneral-$(PRERELEASE_TAG)|g' download.html.old > download.html; rm download.html.old) \
 	fi
-	(cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/Version:.*$$/Version:	$(VERSION)/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old) \
-	fi
 # This hack to SOURCE: name is only needed because we have an obsolete version
 # of rpm installed on standard machines at dcs.ed, and we have to build with
 # that version.  Otherwise we could use the %{version} macro in the spec file.