From 66e6a5575c369031ba195104d546faf041b7fb99 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 13 Nov 2018 13:28:28 +0100
Subject: [PATCH] Update the menu_version.js in `master`

See the dropdown menu at the top of:
  https://cgal.geometryfactory.com/CGAL/doc/master/
---
 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 e6138b2b6bc..c575b27aff5 100644
--- a/Documentation/doc/resources/1.8.13/menu_version.js
+++ b/Documentation/doc/resources/1.8.13/menu_version.js
@@ -7,8 +7,8 @@
   var all_versions = [
     'master',
     'latest',
-    '4.13-beta1',
-    '4.12',
+    '4.13',
+    '4.12.1',
     '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 e6138b2b6bc..c575b27aff5 100644
--- a/Documentation/doc/resources/1.8.14/menu_version.js
+++ b/Documentation/doc/resources/1.8.14/menu_version.js
@@ -7,8 +7,8 @@
   var all_versions = [
     'master',
     'latest',
-    '4.13-beta1',
-    '4.12',
+    '4.13',
+    '4.12.1',
     '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 e6138b2b6bc..c575b27aff5 100644
--- a/Documentation/doc/resources/1.8.4/menu_version.js
+++ b/Documentation/doc/resources/1.8.4/menu_version.js
@@ -7,8 +7,8 @@
   var all_versions = [
     'master',
     'latest',
-    '4.13-beta1',
-    '4.12',
+    '4.13',
+    '4.12.1',
     '4.11.3',
     '4.10.2',
     '4.9.1',