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