From b936ddd1623f6d1c2109ac85bd92a9198b112ed2 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Wed, 20 Apr 2016 21:07:51 +0200
Subject: [PATCH] Fix release script to properly update index.html

Issue #3976
---
 bin/release | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/release b/bin/release
index b782739fa..2d78557fd 100755
--- a/bin/release
+++ b/bin/release
@@ -40,6 +40,6 @@ rewrite("doc/compress.html", function(cmp) {
 });
 
 rewrite("index.html", function(index) {
-  return index.replace(/\.zip">\d+\.\d+<\/a>/,
-                       ".zip\">" + simple + "</a>");
+  return index.replace(/\.zip">\d+\.\d+\.\d+<\/a>/,
+                       ".zip\">" + number + "</a>");
 });
-- 
GitLab