dprevot/patroni
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Remove obsolete sphinx_no_theme.patch file

Browse source
This commit is contained in:
Christoph Berg 2018-07-23 20:08:08 +02:00
parent 3a40b44f76
commit 3f97900790
1 changed files with 0 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
debian/patches/sphinx_no_theme.patch vendored
View file

@ -1,11 +0,0 @@
--- ./docs/conf.py.orig 2017-09-14 13:02:16.190226130 +0200
+++ ./docs/conf.py 2017-09-14 13:03:18.494248159 +0200
@@ -81,6 +81,8 @@
# If true, `todo` and `todoList` produce output, else they produce nothing.
todo_include_todos = True
+# mathjax path
+mathjax_path = /usr/share/javascript/mathjax/
# -- Options for HTML output ----------------------------------------------