From e95b5daead20c0e6856527808ac8ccd495a095c1 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 28 Feb 2023 10:22:31 +0100
Subject: [PATCH] Prep for 5.4.4 and 5.5.2

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

diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js
index 929adeeea31..6700393fefd 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',
-      '5.5.1',
-      '5.4.3',
+      '5.5.2',
+      '5.4.4',
       '5.3.2',
       '5.2.4',
       '5.1.5',
diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js
index 929adeeea31..6700393fefd 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',
-      '5.5.1',
-      '5.4.3',
+      '5.5.2',
+      '5.4.4',
       '5.3.2',
       '5.2.4',
       '5.1.5',
diff --git a/Documentation/doc/resources/1.8.20/menu_version.js b/Documentation/doc/resources/1.8.20/menu_version.js
index 929adeeea31..6700393fefd 100644
--- a/Documentation/doc/resources/1.8.20/menu_version.js
+++ b/Documentation/doc/resources/1.8.20/menu_version.js
@@ -7,8 +7,8 @@
   var all_versions = [
       'master',
       'latest',
-      '5.5.1',
-      '5.4.3',
+      '5.5.2',
+      '5.4.4',
       '5.3.2',
       '5.2.4',
       '5.1.5',
diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js
index 929adeeea31..6700393fefd 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',
-      '5.5.1',
-      '5.4.3',
+      '5.5.2',
+      '5.4.4',
       '5.3.2',
       '5.2.4',
       '5.1.5',
diff --git a/Documentation/doc/resources/1.9.3/menu_version.js b/Documentation/doc/resources/1.9.3/menu_version.js
index 929adeeea31..6700393fefd 100644
--- a/Documentation/doc/resources/1.9.3/menu_version.js
+++ b/Documentation/doc/resources/1.9.3/menu_version.js
@@ -7,8 +7,8 @@
   var all_versions = [
       'master',
       'latest',
-      '5.5.1',
-      '5.4.3',
+      '5.5.2',
+      '5.4.4',
       '5.3.2',
       '5.2.4',
       '5.1.5',