Raise a warning if somebody puts numbered: true
in their defaults:
#45
Labels
enhancement
New feature or request
numbered: true
in their defaults:
#45
In a recent EBP meeting, we discussed that putting
numbered: true
in the defaults will result in some strange Sphinx behavior. In this case it would be useful to raise a warning that suggests that users put this inoptions:
rather than indefaults:
.The text was updated successfully, but these errors were encountered: