diff --git a/doc/gmsh.html b/doc/gmsh.html
index 71d502cd94067b6bd88c295bdc0088df371956e1..d92071992def8c439fb3d6b6e7303673e6501c4c 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -100,21 +100,21 @@ Public License (GPL)</a>:
 <ul>
   <li>
     <div class="highlight">
-      Current stable release (version 4.7.0, 5 November 2020):
+      Current stable release (version 4.7.1, 16 November 2020):
       <ul>
         <li>Download Gmsh for
-          <a href="bin/Windows/gmsh-4.7.0-Windows64.zip">Windows 64-bit</a>,
-          <a href="bin/Windows/gmsh-4.7.0-Windows32.zip">Windows 32-bit</a>,
-          <a href="bin/Linux/gmsh-4.7.0-Linux64.tgz">Linux 64-bit</a>,
-          <a href="bin/Linux/gmsh-4.7.0-Linux32.tgz">Linux 32-bit</a> or
-          <a href="bin/MacOSX/gmsh-4.7.0-MacOSX.dmg">MacOS</a>
-        <li>Download the <a href="src/gmsh-4.7.0-source.tgz">source code</a>
+          <a href="bin/Windows/gmsh-4.7.1-Windows64.zip">Windows 64-bit</a>,
+          <a href="bin/Windows/gmsh-4.7.1-Windows32.zip">Windows 32-bit</a>,
+          <a href="bin/Linux/gmsh-4.7.1-Linux64.tgz">Linux 64-bit</a>,
+          <a href="bin/Linux/gmsh-4.7.1-Linux32.tgz">Linux 32-bit</a> or
+          <a href="bin/MacOSX/gmsh-4.7.1-MacOSX.dmg">MacOS</a>
+        <li>Download the <a href="src/gmsh-4.7.1-source.tgz">source code</a>
         <li>Download the Software Development Kit (SDK) for
-          <a href="bin/Windows/gmsh-4.7.0-Windows64-sdk.zip">Windows 64-bit</a>,
-          <a href="bin/Windows/gmsh-4.7.0-Windows32-sdk.zip">Windows 32-bit</a>,
-          <a href="bin/Linux/gmsh-4.7.0-Linux64-sdk.tgz">Linux 64-bit</a>,
-          <a href="bin/Linux/gmsh-4.7.0-Linux32-sdk.tgz">Linux 32-bit</a> or
-          <a href="bin/MacOSX/gmsh-4.7.0-MacOSX-sdk.tgz">MacOS</a>
+          <a href="bin/Windows/gmsh-4.7.1-Windows64-sdk.zip">Windows 64-bit</a>,
+          <a href="bin/Windows/gmsh-4.7.1-Windows32-sdk.zip">Windows 32-bit</a>,
+          <a href="bin/Linux/gmsh-4.7.1-Linux64-sdk.tgz">Linux 64-bit</a>,
+          <a href="bin/Linux/gmsh-4.7.1-Linux32-sdk.tgz">Linux 32-bit</a> or
+          <a href="bin/MacOSX/gmsh-4.7.1-MacOSX-sdk.tgz">MacOS</a>
         <li>Download both Gmsh and the SDK with pip: '<code>pip install --upgrade
             <a href="https://pypi.org/project/gmsh/">gmsh</a></code>'
       </ul>