From 0c4612e27d8c2e160c05ac3bb8fefbe7c6953c61 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 31 Jul 2018 15:54:19 +0200
Subject: [PATCH] Update menu_version.js with new releases

---
 Documentation/doc/resources/1.8.13/menu_version.js | 2 +-
 Documentation/doc/resources/1.8.14/menu_version.js | 2 +-
 Documentation/doc/resources/1.8.4/menu_version.js  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index 6bd5b1f4f57..2cda7064866 100644
--- a/Documentation/doc/resources/1.8.13/menu_version.js
+++ b/Documentation/doc/resources/1.8.13/menu_version.js
@@ -7,7 +7,7 @@
     'master',
     'latest',
     '4.12',
-    '4.11.1',
+    '4.11.3',
     '4.10.2',
     '4.9.1',
     '4.8.2',
diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js
index 6bd5b1f4f57..2cda7064866 100644
--- a/Documentation/doc/resources/1.8.14/menu_version.js
+++ b/Documentation/doc/resources/1.8.14/menu_version.js
@@ -7,7 +7,7 @@
     'master',
     'latest',
     '4.12',
-    '4.11.1',
+    '4.11.3',
     '4.10.2',
     '4.9.1',
     '4.8.2',
diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js
index 6bd5b1f4f57..2cda7064866 100644
--- a/Documentation/doc/resources/1.8.4/menu_version.js
+++ b/Documentation/doc/resources/1.8.4/menu_version.js
@@ -7,7 +7,7 @@
     'master',
     'latest',
     '4.12',
-    '4.11.1',
+    '4.11.3',
     '4.10.2',
     '4.9.1',
     '4.8.2',