From c42f3ee33d1baee1ca74a071bbbef343799ecfd8 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Wed, 25 Sep 2019 13:50:10 +0200
Subject: output warning

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

(limited to '_exts')

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"):
-- 
cgit v1.2.3