| commit | ecdd868956051c7bc6bc23ce341aad8dffe8edd5 | [log] [tgz] |
|---|---|---|
| author | Wenzel Jakob <wenzel@inf.ethz.ch> | Mon Dec 07 18:17:58 2015 +0100 |
| committer | Wenzel Jakob <wenzel@inf.ethz.ch> | Mon Dec 07 18:17:58 2015 +0100 |
| tree | 393c7325bc917652dd2ba92287e96ff30fa62295 | |
| parent | 24fe0904fb15771c79fac7c9085c0d732221559c [diff] [blame] |
documentation on using the gil
diff --git a/docs/conf.py b/docs/conf.py index 74009a1..921b765 100644 --- a/docs/conf.py +++ b/docs/conf.py
@@ -118,7 +118,7 @@ html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] html_context = { 'css_files': [ - '_static/theme_overrides.css', + '.static/theme_overrides.css', ] }