From 721d789e5bf71079f04b9efa4f73bec30564bbbc Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Thu, 6 Apr 2023 12:06:41 +0200
Subject: [PATCH] Update menu_version.js

---
 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.20/menu_version.js | 1 +
 Documentation/doc/resources/1.8.4/menu_version.js  | 1 +
 Documentation/doc/resources/1.9.3/menu_version.js  | 1 +
 5 files changed, 5 insertions(+)

diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index 6700393fefd..a66903b10fe 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 current_version_local = 'master'
   var all_versions = [
       'master',
+      '5.6-beta1',
       'latest',
       '5.5.2',
       '5.4.4',
diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js
index 6700393fefd..a66903b10fe 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 current_version_local = 'master'
   var all_versions = [
       'master',
+      '5.6-beta1',
       'latest',
       '5.5.2',
       '5.4.4',
diff --git a/Documentation/doc/resources/1.8.20/menu_version.js b/Documentation/doc/resources/1.8.20/menu_version.js
index 6700393fefd..a66903b10fe 100644
--- a/Documentation/doc/resources/1.8.20/menu_version.js
+++ b/Documentation/doc/resources/1.8.20/menu_version.js
@@ -6,6 +6,7 @@
   var current_version_local = 'master'
   var all_versions = [
       'master',
+      '5.6-beta1',
       'latest',
       '5.5.2',
       '5.4.4',
diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js
index 6700393fefd..a66903b10fe 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 current_version_local = 'master'
   var all_versions = [
       'master',
+      '5.6-beta1',
       'latest',
       '5.5.2',
       '5.4.4',
diff --git a/Documentation/doc/resources/1.9.3/menu_version.js b/Documentation/doc/resources/1.9.3/menu_version.js
index 6700393fefd..a66903b10fe 100644
--- a/Documentation/doc/resources/1.9.3/menu_version.js
+++ b/Documentation/doc/resources/1.9.3/menu_version.js
@@ -6,6 +6,7 @@
   var current_version_local = 'master'
   var all_versions = [
       'master',
+      '5.6-beta1',
       'latest',
       '5.5.2',
       '5.4.4',