From 7b0dbac0e6a1498e43d70aa745bfde171083b6df Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 31 Jul 2018 16:06:22 +0200
Subject: [PATCH] Update menu_version.js with the link to 4.13-beta1

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

diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index 2cda7064866..af2be01a800 100644
--- a/Documentation/doc/resources/1.8.13/menu_version.js
+++ b/Documentation/doc/resources/1.8.13/menu_version.js
@@ -6,6 +6,7 @@
   var all_versions = [
     'master',
     'latest',
+    '4.13-beta1',
     '4.12',
     '4.11.3',
     '4.10.2',
diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js
index 2cda7064866..af2be01a800 100644
--- a/Documentation/doc/resources/1.8.14/menu_version.js
+++ b/Documentation/doc/resources/1.8.14/menu_version.js
@@ -6,6 +6,7 @@
   var all_versions = [
     'master',
     'latest',
+    '4.13-beta1',
     '4.12',
     '4.11.3',
     '4.10.2',
diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js
index 2cda7064866..af2be01a800 100644
--- a/Documentation/doc/resources/1.8.4/menu_version.js
+++ b/Documentation/doc/resources/1.8.4/menu_version.js
@@ -6,6 +6,7 @@
   var all_versions = [
     'master',
     'latest',
+    '4.13-beta1',
     '4.12',
     '4.11.3',
     '4.10.2',