diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index 0f354432772..ff345f63b50 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',
       '5.2',
       'latest',
-      '5.1.1',
+      '5.1.2',
       '5.0.4',
       '4.14.3',
       '4.13.2',
diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js
index 0f354432772..ff345f63b50 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',
       '5.2',
       'latest',
-      '5.1.1',
+      '5.1.2',
       '5.0.4',
       '4.14.3',
       '4.13.2',
diff --git a/Documentation/doc/resources/1.8.20/menu_version.js b/Documentation/doc/resources/1.8.20/menu_version.js
index 0f354432772..ff345f63b50 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',
       '5.2',
       'latest',
-      '5.1.1',
+      '5.1.2',
       '5.0.4',
       '4.14.3',
       '4.13.2',
diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js
index 0f354432772..ff345f63b50 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',
       '5.2',
       'latest',
-      '5.1.1',
+      '5.1.2',
       '5.0.4',
       '4.14.3',
       '4.13.2',