From f33addc4ccb09b0e97f19cfa79c2b00231fe2481 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Fri, 5 Apr 2019 15:14:02 +0200
Subject: [PATCH] Update the Javascript menu of the documentation

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

diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index 798af9fee04..fd75226e1e9 100644
--- a/Documentation/doc/resources/1.8.13/menu_version.js
+++ b/Documentation/doc/resources/1.8.13/menu_version.js
@@ -8,8 +8,8 @@
     'master',
     'latest',
     '4.14',
-    '4.13',
-    '4.12.1',
+    '4.13.1',
+    '4.12.2',
     '4.11.3',
     '4.10.2',
     '4.9.1',
diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js
index 798af9fee04..fd75226e1e9 100644
--- a/Documentation/doc/resources/1.8.14/menu_version.js
+++ b/Documentation/doc/resources/1.8.14/menu_version.js
@@ -8,8 +8,8 @@
     'master',
     'latest',
     '4.14',
-    '4.13',
-    '4.12.1',
+    '4.13.1',
+    '4.12.2',
     '4.11.3',
     '4.10.2',
     '4.9.1',
diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js
index 798af9fee04..fd75226e1e9 100644
--- a/Documentation/doc/resources/1.8.4/menu_version.js
+++ b/Documentation/doc/resources/1.8.4/menu_version.js
@@ -8,8 +8,8 @@
     'master',
     'latest',
     '4.14',
-    '4.13',
-    '4.12.1',
+    '4.13.1',
+    '4.12.2',
     '4.11.3',
     '4.10.2',
     '4.9.1',