diff options
author | Brad King <brad.king@kitware.com> | 2020-01-14 13:56:57 (GMT) |
---|---|---|
committer | Kitware Robot <kwrobot@kitware.com> | 2020-01-14 13:58:38 (GMT) |
commit | f1af6d5baf2ce7d36e877d13153e0a399562d30b (patch) | |
tree | 0b55bbfedd7ad32d80f1eabff7be9d77f1311223 /Utilities/Sphinx/create_identifiers.py | |
parent | 09c43466e5f6a61746237a48c1469a4f6cc0da0f (diff) | |
parent | bd681fee7a0f0fb95af4a71255774b52f9ea26da (diff) | |
download | CMake-f1af6d5baf2ce7d36e877d13153e0a399562d30b.zip CMake-f1af6d5baf2ce7d36e877d13153e0a399562d30b.tar.gz CMake-f1af6d5baf2ce7d36e877d13153e0a399562d30b.tar.bz2 |
Merge topic 'doc-user-interaction'
bd681fee7a Help: Add guides for user interaction
6185265800 Utilities/Sphinx: Index guide-level documents for cross-referencing
b1b7d01172 Utilities/Sphinx: Index document types only by top level directory
Acked-by: Kitware Robot <kwrobot@kitware.com>
Acked-by: Mateusz Ĺoskot <mateusz@loskot.net>
Acked-by: Daan De Meyer <daan.j.demeyer@gmail.com>
Merge-request: !4097
Diffstat (limited to 'Utilities/Sphinx/create_identifiers.py')
-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 6716b48..b5cd914 100755 --- a/Utilities/Sphinx/create_identifiers.py +++ b/Utilities/Sphinx/create_identifiers.py @@ -25,6 +25,7 @@ for line in lines: ("envvar", "envvar"), ("variable", "variable"), ("generator", "generator"), + ("guide", "guide"), ("target property", "prop_tgt"), ("test property", "prop_test"), ("source file property", "prop_sf"), |