diff options
| -rwxr-xr-x | Utilities/Sphinx/create_identifiers.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Utilities/Sphinx/create_identifiers.py b/Utilities/Sphinx/create_identifiers.py index 3fe3fcb..4513434 100755 --- a/Utilities/Sphinx/create_identifiers.py +++ b/Utilities/Sphinx/create_identifiers.py @@ -22,6 +22,7 @@ for line in lines: mapping = (("command", "command"), ("variable", "variable"), + ("generator", "generator"), ("target property", "prop_tgt"), ("test property", "prop_test"), ("source file property", "prop_sf"), |