Update version number in more places

typetools · Nov 5, 2018 · 9d639f4 · 9d639f4
1 parent c6c4b0b
commit 9d639f4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/docs/developer/release/release.xml b/docs/developer/release/release.xml
@@ -98,6 +98,12 @@
         <replaceregexp file="${checker.manual}/external-tools.tex" byline="true"
                        match="checker-framework-${release.version.regexp}{0,1}" replace="checker-framework-${release.ver}"/>
 
+        <replaceregexp file="${checker.manual}/external-tools.tex" byline="true"
+                       match="checker-${release.version.regexp}{0,1}" replace="checker-${release.ver}"/>
+
+        <replaceregexp file="${checker.manual}/external-tools.tex" byline="true"
+                       match="checker-qual-${release.version.regexp}{0,1}" replace="checker-qual-${release.ver}"/>
+
         <replaceregexp file="${checker.manual}/external-tools.tex" byline="true"
                        match="1.8.0-jsr308-\S*" replace="1.8.0-jsr308-${release.ver}"/>
 

diff --git a/docs/manual/external-tools.tex b/docs/manual/external-tools.tex
@@ -261,13 +261,13 @@ \section{Buck\label{buck}}
 \begin{Verbatim}
 prebuilt_jar(
     name = 'checker-framework',
-    binary_jar = 'checker-2.5.5.jar',
+    binary_jar = 'checker-2.5.6.jar',
     visibility = [ 'PUBLIC' ]
 )
 
 prebuilt_jar(
     name = 'checker-qual',
-    binary_jar = 'checker-qual-2.5.5.jar',
+    binary_jar = 'checker-qual-2.5.6.jar',
     visibility = [ 'PUBLIC' ]
 )