From fd731feaccdd818d8c38f4ccdd88471966a2490c Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 4 Jun 2018 10:33:14 +0530 Subject: [PATCH] Warn about missing opt references --- docs/conf.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index d9cf317f7..1c16844ee 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -368,3 +368,5 @@ def setup(app): 'opt', 'opt', indextemplate="pair: %s; Config Setting" ) + # Warn about opt references that could not be resolved + app.registry.domain_roles['std']['opt'].warn_dangling = True