summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--_exts/tsref.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/_exts/tsref.py b/_exts/tsref.py
index daeb08cd..9ff5893e 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"):