diff --git a/docs/Makefile b/docs/Makefile index 0ef79ef45..c80d50f99 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -41,6 +41,11 @@ html: @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." +html-mathjax-site: + $(SPHINXBUILD) -b html -A for_site=True $(ALLSPHINXOPTS) $(BUILDDIR)/html-mathjax-site + @echo + @echo "Build finished. The HTML pages are in $(BUILDDIR)/html-mathjax-site." + dirhtml: $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml @echo diff --git a/docs/source/mjtheme/layout.html b/docs/source/mjtheme/layout.html index 2fcb27dd7..95a3c72c0 100644 --- a/docs/source/mjtheme/layout.html +++ b/docs/source/mjtheme/layout.html @@ -145,6 +145,7 @@ {%- block extrahead %} {% endblock %}
+ {% if for_site %}