[taler-docs] branch master updated: compatibility with latest sphinx

[gnunet]

This is an automated email from the git hooks/post-receive script.

dold pushed a commit to branch master
in repository docs.

The following commit(s) were added to refs/heads/master by this push:
     new 4746e24  compatibility with latest sphinx
4746e24 is described below

commit 4746e24c0eeebcafdc204830240f6cbc4d3c378d
Author: Florian Dold <address@hidden>
AuthorDate: Thu Apr 23 16:31:44 2020 +0530

    compatibility with latest sphinx
---
 _exts/typescriptdomain.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_exts/typescriptdomain.py b/_exts/typescriptdomain.py
index b0780ea..44e30f7 100644
--- a/_exts/typescriptdomain.py
+++ b/_exts/typescriptdomain.py
@@ -499,6 +499,7 @@ class MyHtmlBuilder(StandaloneHTMLBuilder):
         self.highlighter = MyPygmentsBridge(
             self, self.config.trim_doctest_flags
         )
+        self.dark_highlighter = None
 
 
 def get_annotation(tok, key):

-- 
To stop receiving notification emails like this one, please contact
address@hidden.