1.2.1 release

ftilmann · Jun 22, 2017 · 32ef94d · 32ef94d
1 parent 6413b56
commit 32ef94d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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"