diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/0006-privacy-breach-fixes.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/patches/0006-privacy-breach-fixes.patch b/debian/patches/0006-privacy-breach-fixes.patch new file mode 100644 index 0000000..1c74764 --- /dev/null +++ b/debian/patches/0006-privacy-breach-fixes.patch @@ -0,0 +1,17 @@ +Description: fix documentation privacy breaches +Author: Jerome Charaoui <jerome@riseup.net> +Last-Update: 2018-05-23 +--- +This patch header follows DEP-3: http://dep.debian.net/deps/dep +--- a/docs/source/conf.py ++++ b/docs/source/conf.py +@@ -63,8 +63,7 @@ if not on_rtd: # only import and set the theme if we’re building docs locally + if on_rtd or html_theme == 'sphinx_rtd_theme': + html_context = { + 'css_files': [ +- 'https://media.readthedocs.org/css/sphinx_rtd_theme.css', +- 'https://media.readthedocs.org/css/readthedocs-doc-embed.css', ++ '_static/css/css/sphinx_rtd_theme.css', + '_static/css/theme_overrides.css', + ], + } |