summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephen Kelly <steveire@gmail.com>2014-06-18 15:12:53 (GMT)
committerStephen Kelly <steveire@gmail.com>2014-07-17 14:05:10 (GMT)
commit376ba93588e1dd24cb091c61f9fe635bceaf0a82 (patch)
tree9cff8c7a541289d714a1d084545b814cb508f5cd
parente411b3084241109f98b75ae2d7619eae40ca1e3d (diff)
downloadCMake-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.
-rwxr-xr-xUtilities/Sphinx/create_identifiers.py28
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")