From b8e342d84525a3ce713e9111ba6d105b6de82c80 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 27 Sep 2022 15:20:18 +0200
Subject: [PATCH] Update Documentation/doc/resources/1.9.3/menu_version.js

... with the same copy as the other versions!

Fix #6886.
---
 Documentation/doc/resources/1.9.3/menu_version.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Documentation/doc/resources/1.9.3/menu_version.js b/Documentation/doc/resources/1.9.3/menu_version.js
index e8a424f40cd..94aa6388f05 100644
--- a/Documentation/doc/resources/1.9.3/menu_version.js
+++ b/Documentation/doc/resources/1.9.3/menu_version.js
@@ -7,8 +7,9 @@
   var all_versions = [
       'master',
       'latest',
-      '5.4',
-      '5.3.1',
+      '5.5',
+      '5.4.2',
+      '5.3.2',
       '5.2.4',
       '5.1.5',
       '5.0.4',