diff --git a/edb/tools/docs/edb.py b/edb/tools/docs/edb.py index f691ed190c86..b4b38534cbf5 100644 --- a/edb/tools/docs/edb.py +++ b/edb/tools/docs/edb.py @@ -167,6 +167,7 @@ def apply(self): else: node.replace_self(d_nodes.Text(nt)) + class GelCmdRole: def __call__(