bump version: JFlex 1.8.1-SNAPSHOT -> 1.8.1

Author: lsf37

benchmark/pom.xml

@@ -4,7 +4,7 @@
   <parent>
     <groupId>de.jflex</groupId>
     <artifactId>jflex-parent</artifactId>
-    <version>1.8.1-SNAPSHOT</version>
+    <version>1.8.1</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>benchmark</artifactId>
@@ -55,7 +55,7 @@
       <plugin>
         <groupId>de.jflex</groupId>
         <artifactId>jflex-maven-plugin</artifactId>
-        <version>1.8.1-SNAPSHOT</version>
+        <version>1.8.1</version>
         <executions>
           <execution>
             <goals>

cup-maven-plugin/pom.xml

@@ -3,7 +3,7 @@
   <parent>
     <groupId>de.jflex</groupId>
     <artifactId>jflex-parent</artifactId>
-    <version>1.8.1-SNAPSHOT</version>
+    <version>1.8.1</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <version>1.2</version>

docs/Makefile

@@ -1,6 +1,6 @@
 # Makefile for jflex documentation (ps + pdf + html)
 
-VERSION=1.8.1-SNAPSHOT
+VERSION=1.8.1
 RELEASE_DATE=28 February 2020
 UNICODE_VER=12.1
 

docs/docs.bzl

@@ -2,7 +2,7 @@
 
 load("@bazel_pandoc//:pandoc.bzl", "pandoc")
 
-VERSION = "1.8.1-SNAPSHOT"
+VERSION = "1.8.1"
 
 RELEASE_DATE = "21 September 2018"
 

docs/xmanual.tex

@@ -55,7 +55,7 @@
 \vspace*{15ex}
 {\Huge \sffamily \bfseries JFlex User's Manual}\\
 \bigskip
-Version 1.8.1-SNAPSHOT, {\today}
+Version 1.8.1, {\today}
 \end{center}
 
 \newpage

jflex-maven-plugin/pom.xml

@@ -4,7 +4,7 @@
   <parent>
     <groupId>de.jflex</groupId>
     <artifactId>jflex-parent</artifactId>
-    <version>1.8.1-SNAPSHOT</version>
+    <version>1.8.1</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>jflex-maven-plugin</artifactId>

jflex-unicode-maven-plugin/pom.xml

@@ -4,7 +4,7 @@
   <parent>
     <groupId>de.jflex</groupId>
     <artifactId>jflex-parent</artifactId>
-    <version>1.8.1-SNAPSHOT</version>
+    <version>1.8.1</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>jflex-unicode-maven-plugin</artifactId>

jflex/README.md

@@ -3,7 +3,7 @@
 This directory contains JFlex, a fast scanner generator for Java.
 
 To run JFlex, run `bin/jflex` from the command line or double click on the
-jflex-full-1.8.1-SNAPSHOT.jar file in the `lib/` directory.
+jflex-full-1.8.1.jar file in the `lib/` directory.
 
 See the manual in `doc/` or the website at <http://jflex.de> for more
 information and for how to get started.

jflex/bin/jflex

@@ -19,7 +19,7 @@
 JAVA=java
 
 # Version of JFlex to execute
-JFLEX_VERSION=1.8.1-SNAPSHOT
+JFLEX_VERSION=1.8.1
 
 # end configurables
 #

jflex/bin/jflex.bat

@@ -3,6 +3,6 @@ REM Please adjust JFLEX_HOME and JFLEX_VERSION to suit your needs
 REM (please do not add a trailing backslash)
 
 if not defined JFLEX_HOME set JFLEX_HOME=C:\JFLEX
-if not defined JFLEX_VERSION set JFLEX_VERSION=1.8.1-SNAPSHOT
+if not defined JFLEX_VERSION set JFLEX_VERSION=1.8.1
 
 java -Xmx128m -jar "%JFLEX_HOME%\lib\jflex-full-%JFLEX_VERSION%.jar" %*