diff options
author | Stephen Kelly <steveire@gmail.com> | 2014-06-18 15:12:53 (GMT) |
---|---|---|
committer | Stephen Kelly <steveire@gmail.com> | 2014-07-17 14:05:10 (GMT) |
commit | 376ba93588e1dd24cb091c61f9fe635bceaf0a82 (patch) | |
tree | 9cff8c7a541289d714a1d084545b814cb508f5cd /Utilities | |
parent | e411b3084241109f98b75ae2d7619eae40ca1e3d (diff) | |
download | CMake-376ba93588e1dd24cb091c61f9fe635bceaf0a82.zip CMake-376ba93588e1dd24cb091c61f9fe635bceaf0a82.tar.gz CMake-376ba93588e1dd24cb091c61f9fe635bceaf0a82.tar.bz2 |
Help: Identify more artifact types in QtHelp documentation.
Add identifiers for variables, properties, policies and modules.
This will allow QtCreator to show relevant documentation if it learns
more about the context of the contents of cmake files.
Diffstat (limited to 'Utilities')
-rwxr-xr-x | Utilities/Sphinx/create_identifiers.py | 28 |
1 files changed, 21 insertions, 7 deletions
diff --git a/Utilities/Sphinx/create_identifiers.py b/Utilities/Sphinx/create_identifiers.py index 4db7a3f..7715e53 100755 --- a/Utilities/Sphinx/create_identifiers.py +++ b/Utilities/Sphinx/create_identifiers.py @@ -19,13 +19,27 @@ if not lines: newlines = [] for line in lines: - if "<keyword name=\"command\"" in line: - if not "id=\"" in line: - prefix = "<keyword name=\"command\" " - part1, part2 = line.split(prefix) - head, tail = part2.split("#command:") - cmdname, rest = tail.split("\"") - line = part1 + prefix + "id=\"command/" + cmdname + "\" " + part2 + + mapping = (("command", "command"), + ("variable", "variable"), + ("target property", "prop_tgt"), + ("test property", "prop_test"), + ("source file property", "prop_sf"), + ("global property", "prop_gbl"), + ("module", "module"), + ("directory property", "prop_dir"), + ("cache property", "prop_cache"), + ("policy", "policy"), + ("installed file property", "prop_inst")) + + for domain_object_string, domain_object_type in mapping: + if "<keyword name=\"" + domain_object_string + "\"" in line: + if not "id=\"" in line: + prefix = "<keyword name=\"" + domain_object_string + "\" " + part1, part2 = line.split(prefix) + head, tail = part2.split("#" + domain_object_type + ":") + domain_object, rest = tail.split("\"") + line = part1 + prefix + "id=\"" + domain_object_type + "/" + domain_object + "\" " + part2 newlines.append(line + "\n") f = open(name, "w") |