taler-docs

commit c42f3ee33d1baee1ca74a071bbbef343799ecfd8
parent 4d46659141131eb2a32cf7992faa9b4a4541aa1d
Author: Florian Dold <florian.dold@gmail.com>
Date:   Wed, 25 Sep 2019 13:50:10 +0200

output warning

Diffstat:
M
_exts/tsref.py
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git 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"):