[GNUnet-SVN] [taler-docs] branch master updated: output warning

[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 c42f3ee  output warning
c42f3ee is described below

commit c42f3ee33d1baee1ca74a071bbbef343799ecfd8
Author: Florian Dold <address@hidden>
AuthorDate: Wed Sep 25 13:50:10 2019 +0200

    output warning
---
 _exts/tsref.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/_exts/tsref.py b/_exts/tsref.py
index daeb08c..9ff5893 100644
--- a/_exts/tsref.py
+++ b/_exts/tsref.py
@@ -37,6 +37,7 @@ from pygments.formatters import HtmlFormatter
 from docutils import nodes
 from docutils.nodes import make_id
 import re
+import sys
 
 
 _escape_html_table = {
@@ -118,6 +119,9 @@ class MyHtmlBuilder(StandaloneHTMLBuilder):
         self._current_docname = docname
         super(MyHtmlBuilder, self).write_doc(docname, doctree)
 
+    def warn(self, msg):
+        print("warning:", msg, file=sys.stderr)
+
 
 def get_annotation(tok, key):
     if not hasattr(tok, "kv"):

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