doc: Add External Project into the top dropdown menu

4 years ago · 4fda4f5012
parent f7dd111333
commit 4fda4f5012
1 changed files with 1 additions and 0 deletions
--- a/docs/theme/extra/templates/navbar_links.html
+++ b/docs/theme/extra/templates/navbar_links.html
@ -9,6 +9,7 @@
            ("CMake-module.html","CMake"), \
            ("Cuda-module.html","CUDA"), \
            ("Dlang-module.html","Dlang"), \
+            ("External-Project-module.html","External Project"), \
            ("Fs-module.html","Filesystem"), \
            ("Gnome-module.html","GNOME"), \
            ("Hotdoc-module.html","Hotdoc"), \