commit 5e35bf4b6e5d4f441fbfda4724ac23a8af03e51b
parent 11d7a99c3972e1f2b05622fdacd74c5d53fce95c
Author: Florian Dold <florian.dold@gmail.com>
Date: Mon, 18 Jan 2016 01:26:21 +0100
Add warning for unresolved links.
Diffstat:
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/exts/tsref.py b/exts/tsref.py
@@ -157,8 +157,7 @@ class LinkFilter(Filter):
href = self.app.builder.get_target_uri(docname) + "#" + id
tok_setprop(t, "href", href)
else:
- # TODO: warn!
- pass
+ self.app.builder.warn("unresolved link target in comment: " + id)
yield t, m.group(1)
last = m.end()
post = value[last:]