diff --git a/docs/Makefile b/docs/Makefile index 2e588c4bc..73262efac 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -12,7 +12,6 @@ LANGUAGES = de en PAPEROPT_a4 = -D latex_paper_size=a4 PAPEROPT_letter = -D latex_paper_size=letter ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees/$$lang $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) -c . -A language=$$lang -A languages='$(LANGUAGES)' -#ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees/$$lang $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) -c . -A language=$$lang -D language=$$lang -A target=$(TARGET) -A languages='$(LANGUAGES)' .PHONY: help clean html dirhtml singlehtml pickle json htmlhelp qthelp devhelp epub latex latexpdf text man changes linkcheck doctest diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html index e919b01f1..c75d2dca4 100644 --- a/docs/_templates/layout.html +++ b/docs/_templates/layout.html @@ -1,5 +1,18 @@ {% extends '!layout.html' %} +{% block extrahead %} +{{ super() }} + + + + +{% endblock %} + {%- block content %}
diff --git a/docs/conf.py b/docs/conf.py index c40cf0e82..2fd3b626c 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -139,10 +139,10 @@ html_static_path = ['_static'] #html_additional_pages = {} # If false, no module index is generated. -#html_domain_indices = True +html_domain_indices = False # If false, no index is generated. -#html_use_index = True +html_use_index = False # If true, the index is split into individual pages for each letter. #html_split_index = False