diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index bdd602edd9f..e8a424f40cd 100644
--- a/Documentation/doc/resources/1.8.13/menu_version.js
+++ b/Documentation/doc/resources/1.8.13/menu_version.js
@@ -8,7 +8,7 @@
       'master',
       'latest',
       '5.4',
-      '5.3.2',
+      '5.3.1',
       '5.2.4',
       '5.1.5',
       '5.0.4',
diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js
index bdd602edd9f..e8a424f40cd 100644
--- a/Documentation/doc/resources/1.8.14/menu_version.js
+++ b/Documentation/doc/resources/1.8.14/menu_version.js
@@ -8,7 +8,7 @@
       'master',
       'latest',
       '5.4',
-      '5.3.2',
+      '5.3.1',
       '5.2.4',
       '5.1.5',
       '5.0.4',
diff --git a/Documentation/doc/resources/1.8.20/menu_version.js b/Documentation/doc/resources/1.8.20/menu_version.js
index bdd602edd9f..e8a424f40cd 100644
--- a/Documentation/doc/resources/1.8.20/menu_version.js
+++ b/Documentation/doc/resources/1.8.20/menu_version.js
@@ -8,7 +8,7 @@
       'master',
       'latest',
       '5.4',
-      '5.3.2',
+      '5.3.1',
       '5.2.4',
       '5.1.5',
       '5.0.4',
diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js
index bdd602edd9f..e8a424f40cd 100644
--- a/Documentation/doc/resources/1.8.4/menu_version.js
+++ b/Documentation/doc/resources/1.8.4/menu_version.js
@@ -8,7 +8,7 @@
       'master',
       'latest',
       '5.4',
-      '5.3.2',
+      '5.3.1',
       '5.2.4',
       '5.1.5',
       '5.0.4',
diff --git a/Documentation/doc/resources/1.9.3/menu_version.js b/Documentation/doc/resources/1.9.3/menu_version.js
index 45f224cf7d1..e8a424f40cd 100644
--- a/Documentation/doc/resources/1.9.3/menu_version.js
+++ b/Documentation/doc/resources/1.9.3/menu_version.js
@@ -3,12 +3,13 @@
 
   var url_re =  /(cgal\.geometryfactory\.com\/CGAL\/doc\/|doc\.cgal\.org\/)(master|latest|(\d\.\d+|\d\.\d+\.\d+)(-beta\d)?)\//;
   var url_local =  /.*\/doc_output\//;
-  var current_version_local = '5.3-beta1'
+  var current_version_local = 'master'
   var all_versions = [
       'master',
-      '5.3',
       'latest',
-      '5.2.3',
+      '5.4',
+      '5.3.1',
+      '5.2.4',
       '5.1.5',
       '5.0.4',
       '4.14.3',