diff options
author | Dmitry Shachnev <mitya57@debian.org> | 2018-12-16 12:01:43 +0300 |
---|---|---|
committer | Dmitry Shachnev <mitya57@debian.org> | 2018-12-18 16:43:19 +0300 |
commit | 99e51b15f037ee43fcb94c1f8c234a6c0c6353c4 (patch) | |
tree | dfdaf3136f8f66153f579cfd4f65fd2f84f7f5a7 /mkdocs.yml | |
parent | 3290846a0a3c0a5798fbc4015b8af1a9d38140dd (diff) |
Stop overriding upstream choice of mkdocs theme.
Search now works fine with the readthedocs theme.
Diffstat (limited to 'mkdocs.yml')
-rw-r--r-- | mkdocs.yml | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -36,7 +36,6 @@ pages: - License: about/license.md extra_css: - css/extra.css -theme_dir: /usr/share/mkdocs/themes/mkdocs_bootstrap use_directory_urls: false markdown_extensions: - admonition |