From 32ef94d4e10f5379086c8781f1713183797d931e Mon Sep 17 00:00:00 2001 From: Frederik Tilmann Date: Thu, 22 Jun 2017 10:46:56 +0200 Subject: [PATCH] 1.2.1 release --- Makefile | 2 +- testsuite/verify | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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"