diff options
| author | Brad King <brad.king@kitware.com> | 2017-02-23 14:05:38 -0500 |
|---|---|---|
| committer | Brad King <brad.king@kitware.com> | 2017-03-01 16:05:55 -0500 |
| commit | d33de80c8a9e3e5e56012cbfe640004f7cb1550f (patch) | |
| tree | 5936e86b758caf8a41b049626c272f23710ac532 /CMakeLists.txt | |
| parent | ebc28c156ee56c878990c53cbd62779249b139bb (diff) | |
| download | cmake-d33de80c8a9e3e5e56012cbfe640004f7cb1550f.tar.gz | |
Help/dev: Exclude this directory from user-facing documentation
Teach Sphinx and our own install rules to skip a `Help/dev` directory.
This will give us a place to put developer-only documentation that
should not be included in the user-facing documentation. Add a
placeholder README.
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 472c6ab7dd..ed5de10efd 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -806,6 +806,7 @@ if(NOT CMake_TEST_EXTERNAL_CMAKE) PATTERN "*.sh*" PERMISSIONS OWNER_READ OWNER_EXECUTE OWNER_WRITE GROUP_READ GROUP_EXECUTE WORLD_READ WORLD_EXECUTE + REGEX "Help/dev($|/)" EXCLUDE ) # Install auxiliary files integrating with other tools. |