From 9d639f4ba9f3085ccdc78ef30902d24116355282 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sun, 4 Nov 2018 21:19:05 -0800
Subject: [PATCH] Update version number in more places

---
 docs/developer/release/release.xml | 6 ++++++
 docs/manual/external-tools.tex     | 4 ++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/docs/developer/release/release.xml b/docs/developer/release/release.xml
index e1184f67648..1586fbb2cc6 100644
--- 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
index f81209d0964..6b79c24b914 100644
--- 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' ]
 )