From 4fda4f50120fb8464fdce279f970c70bd9526d96 Mon Sep 17 00:00:00 2001 From: Xavier Claessens Date: Wed, 10 Mar 2021 08:58:34 -0500 Subject: [PATCH] doc: Add External Project into the top dropdown menu --- docs/theme/extra/templates/navbar_links.html | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/theme/extra/templates/navbar_links.html b/docs/theme/extra/templates/navbar_links.html index 8df082f1a..06933c5de 100644 --- 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"), \