diff options
Diffstat (limited to 'docs/theme')
-rw-r--r-- | docs/theme/extra/templates/navbar_links.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/theme/extra/templates/navbar_links.html b/docs/theme/extra/templates/navbar_links.html index 904a499..71d4bce 100644 --- a/docs/theme/extra/templates/navbar_links.html +++ b/docs/theme/extra/templates/navbar_links.html @@ -15,6 +15,7 @@ ("Hotdoc-module.html","Hotdoc"), \ ("i18n-module.html","i18n"), \ ("Icestorm-module.html","Icestorm"), \ + ("Java-module.html","Java") \ ("Keyval-module.html","Keyval"), \ ("Pkgconfig-module.html","Pkgconfig"), \ ("Python-3-module.html","Python 3"), \ |