KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Warn about missing opt references

Browse Source
This commit is contained in:
Kovid Goyal 2018-06-04 10:33:14 +05:30
parent 61194ef1c8
commit fd731feacc
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/conf.py
View File

@ -368,3 +368,5 @@ def setup(app):
'opt', 'opt', 'opt', 'opt',
indextemplate="pair: %s; Config Setting" indextemplate="pair: %s; Config Setting"
) )
# Warn about opt references that could not be resolved
app.registry.domain_roles['std']['opt'].warn_dangling = True