diff --git a/Makefile b/Makefile index 21ac143..ba4b542 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # Makefile for preparing files for distribution -VERSION=1.2.1a +VERSION=1.2.1 .PHONY: distribution release test mkdirs clean cleanall cleantest webmanual diff --git a/testsuite/verify b/testsuite/verify index edc471c..2b610fe 100755 --- a/testsuite/verify +++ b/testsuite/verify @@ -1,5 +1,5 @@ #!/bin/csh -set refversion=1.2.1a +set refversion=1.2.1 #set refversion=1.1.0 # for comparison with 0.5: #set options="-V -t UNDERLINE -s SAFE -f FLOATSAFE --disable-citation-markup"