From bff6515314500c1b4dacd6ee396192a88f29d9bc Mon Sep 17 00:00:00 2001 From: Ingmar Schoegl Date: Tue, 18 Jul 2023 09:14:50 -0600 Subject: [PATCH] [docs] Customize doxygen menu bar --- doc/doxygen/DoxygenLayout.xml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/doxygen/DoxygenLayout.xml b/doc/doxygen/DoxygenLayout.xml index 9d3e99be55a..3db50eb1650 100644 --- a/doc/doxygen/DoxygenLayout.xml +++ b/doc/doxygen/DoxygenLayout.xml @@ -2,7 +2,7 @@ - + @@ -34,6 +34,7 @@ +