Commit 5c65f279 authored by Marcel Stör's avatar Marcel Stör
Browse files

Remove custom favicon from docs

All the changes are in preparation for an eventual MkDocs 0.17 upgrade
parent ba36cb3d
favicon.ico was generated using https://realfavicongenerator.net. favicon_package_v0.16.zip in this folder contains icons and instructions for all sorts of browsers and platforms (incl. mobile variants). However, without modifying the MkDocs theme/template they’re of no use.
\ No newline at end of file
...@@ -18,8 +18,6 @@ extra_css: ...@@ -18,8 +18,6 @@ extra_css:
extra_javascript: extra_javascript:
- js/extra.js - js/extra.js
site_favicon: img/favicon.png
pages: pages:
- Overview: 'index.md' - Overview: 'index.md'
- English: - English:
......
#################################################################
# This file is configured in RTD -> Admin -> Advanced Settings! #
#################################################################
# RTD - MkDocs integration is broken for
# - MkDocs >= 0.17 due to in-site search failures: https://github.com/rtfd/readthedocs.org/issues/3174
# - MkDocs >= 0.16 due to stuck fly-out menu: https://groups.google.com/d/msg/mkdocs/v7AVbeB105w/FIlE_n2-AgAJ
# mkdocs >= 0.16.3, < 0.17
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment