From 4a054543cbbb6f1c41a79b1ac7eb6c651afa6a10 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Muller?= <gaetan.muller@rts.ch>
Date: Mon, 15 Apr 2024 14:15:16 +0200
Subject: [PATCH] Fix Javadoc 4.10 label

---
 mkdocs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mkdocs.yml b/mkdocs.yml
index ed2e190a8..6de02690d 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -87,7 +87,7 @@ nav:
     - Javadoc:
       - 4.12: /javadoc/4.12/
       - 4.11: /javadoc/4.11/
-      - 4.10: /javadoc/4.10/
+      - "4.10": /javadoc/4.10/
       - 4.9: /javadoc/4.9/
       - 4.8: /javadoc/4.8/
       - 4.7: /javadoc/4.7/