diff --git a/docs/Makefile b/docs/Makefile index 9b15f87..f66dc58 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -50,7 +50,7 @@ clean: .PHONY: html html: - $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html + LC_ALL=C $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." @@ -223,3 +223,6 @@ dummy: $(SPHINXBUILD) -b dummy $(ALLSPHINXOPTS) $(BUILDDIR)/dummy @echo @echo "Build finished. Dummy builder generates no files." + +favicon.ico: logo.svg + convert logo.svg favicon.ico diff --git a/docs/conf.py b/docs/conf.py index e22dd17..96412a1 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -165,7 +165,7 @@ html_theme_options = { # the docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32 # pixels large. # -# html_favicon = None +html_favicon = "favicon.ico" # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, diff --git a/docs/favicon.ico b/docs/favicon.ico new file mode 100644 index 0000000..6fe1542 Binary files /dev/null and b/docs/favicon.ico differ diff --git a/docs/logo.svg b/docs/logo.svg new file mode 100644 index 0000000..eff14a8 --- /dev/null +++ b/docs/logo.svg @@ -0,0 +1,112 @@ + + + + + + + + + + image/svg+xml + + + + + + + + + + + + + + + +