From 2a3dec88669b8362a4f30ea76e916034eebf342f Mon Sep 17 00:00:00 2001
From: Takeshi KOMIYA <i.tkomiya@gmail.com>
Date: Mon, 24 Feb 2020 12:21:38 +0900
Subject: [PATCH] Add a procedure to update docker image

---
 utils/bump_docker.sh    | 16 ++++++++++++++++
 utils/release-checklist |  2 ++
 2 files changed, 18 insertions(+)
 create mode 100755 utils/bump_docker.sh

diff --git a/utils/bump_docker.sh b/utils/bump_docker.sh
new file mode 100755
index 000000000..436aaef10
--- /dev/null
+++ b/utils/bump_docker.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+set -ex
+
+if [ -z "$1" ]; then
+    echo "bump_docker.sh [VERSION]"
+    exit
+fi
+
+cd docker
+git checkout .
+sed -i "" -e "s/==[0-9.]\{1,\}/==$1/" base/Dockerfile
+sed -i "" -e "s/==[0-9.]\{1,\}/==$1/" latexpdf/Dockerfile
+git commit -am "Bump to $1"
+git tag $1
+git push origin master --tags
diff --git a/utils/release-checklist b/utils/release-checklist
index 679983283..170b2417e 100644
--- a/utils/release-checklist
+++ b/utils/release-checklist
@@ -15,6 +15,7 @@ for stable releases
 * ``twine check dist/Sphinx-*``
 * ``twine upload dist/Sphinx-* --sign --identity [your GPG key]``
 * open https://pypi.org/project/Sphinx/ and check there are no obvious errors
+* ``sh utils/bump_docker.sh X.Y.Z``
 * ``git tag vX.Y.Z``
 * ``python utils/bump_version.py --in-develop X.Y.Zb0`` (ex. 1.5.3b0)
 * Check diff by ``git diff``
@@ -101,6 +102,7 @@ for major releases
 * ``twine check dist/Sphinx-*``
 * ``twine upload dist/Sphinx-* --sign --identity [your GPG key]``
 * open https://pypi.org/project/Sphinx/ and check there are no obvious errors
+* ``sh utils/bump_docker.sh X.Y.Z``
 * ``git tag vX.Y.0``
 * ``python utils/bump_version.py --in-develop X.Y.1b0`` (ex. 1.6.1b0)
 * Check diff by ``git diff``