From d68ef56d8d830f19a4429d5781891c1e229b1999 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 28 Feb 2024 15:19:40 +0100
Subject: [PATCH] update the documentation menu

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

diff --git a/Documentation/doc/resources/1.10.0/menu_version.js b/Documentation/doc/resources/1.10.0/menu_version.js
index f3b20c2fe00..5b8d97efba0 100644
--- a/Documentation/doc/resources/1.10.0/menu_version.js
+++ b/Documentation/doc/resources/1.10.0/menu_version.js
@@ -7,9 +7,9 @@
   var all_versions = [
       'master',
       '6.0-beta1',
-      '5.6',
+      '5.6.1',
       'latest',
-      '5.5.2',
+      '5.5.4',
       '5.4.4',
       '5.3.2',
       '5.2.4',
diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index f3b20c2fe00..5b8d97efba0 100644
--- a/Documentation/doc/resources/1.8.13/menu_version.js
+++ b/Documentation/doc/resources/1.8.13/menu_version.js
@@ -7,9 +7,9 @@
   var all_versions = [
       'master',
       '6.0-beta1',
-      '5.6',
+      '5.6.1',
       'latest',
-      '5.5.2',
+      '5.5.4',
       '5.4.4',
       '5.3.2',
       '5.2.4',
diff --git a/Documentation/doc/resources/1.9.6/menu_version.js b/Documentation/doc/resources/1.9.6/menu_version.js
index f3b20c2fe00..5b8d97efba0 100644
--- a/Documentation/doc/resources/1.9.6/menu_version.js
+++ b/Documentation/doc/resources/1.9.6/menu_version.js
@@ -7,9 +7,9 @@
   var all_versions = [
       'master',
       '6.0-beta1',
-      '5.6',
+      '5.6.1',
       'latest',
-      '5.5.2',
+      '5.5.4',
       '5.4.4',
       '5.3.2',
       '5.2.4',