From 8e51d6ce2c64cb2955355ebd396d92962b989c1b Mon Sep 17 00:00:00 2001 From: bobscodedump Date: Mon, 13 Nov 2023 22:45:13 +0800 Subject: [PATCH] shifted glossary to top --- docs/_markbind/layouts/default.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_markbind/layouts/default.md b/docs/_markbind/layouts/default.md index 7c5bd9d9570..77fdb34106e 100644 --- a/docs/_markbind/layouts/default.md +++ b/docs/_markbind/layouts/default.md @@ -27,11 +27,11 @@ * [Home]({{ baseUrl }}/index.html) * [User Guide]({{ baseUrl }}/UserGuide.html) :expanded: + * [Glossary]({{ baseUrl }}/UserGuide.html#glossary) * [Quick Start]({{ baseUrl }}/UserGuide.html#quick-start) * [Features]({{ baseUrl }}/UserGuide.html#features) * [FAQ]({{ baseUrl }}/UserGuide.html#faq) * [Command Summary]({{ baseUrl }}/UserGuide.html#command-summary) - * [Glossary]({{ baseUrl }}/UserGuide.html#glossary) * [Developer Guide]({{ baseUrl }}/DeveloperGuide.html) :expanded: * [Acknowledgements]({{ baseUrl }}/DeveloperGuide.html#acknowledgements) * [Setting Up]({{ baseUrl }}/DeveloperGuide.html#setting-up-getting-started)