Merge pull request #7009 from eric-wieser/patch-2

Emit a better error if no feature flag is found
readthedocs · May 4, 2020 · 6394d6d · 6394d6d
2 parents d7e86b3 + ca0567a
commit 6394d6d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/docs/doc_extensions.py b/docs/doc_extensions.py
@@ -48,8 +48,9 @@ def feature_flags_role(typ, rawtext, text, lineno, inliner, options=None,
     requested_feature = utils.unescape(text)
     for feature in all_features:
         if requested_feature.lower() == feature[0].lower():
-            desc = nodes.Text(feature[1], feature[1])
-    return [desc], []
+            return [nodes.Text(feature[1], feature[1])], []
+    raise ValueError(
+        "Unknown feature flag {!r}".format(requested_feature))
 
 
 def setup(_):