diff options
| author | Eike Ziller <eike.ziller@qt.io> | 2017-03-10 15:36:12 +0100 |
|---|---|---|
| committer | Eike Ziller <eike.ziller@qt.io> | 2017-03-10 15:38:01 +0100 |
| commit | 0467aa5c9065c0dcc8636f79709316da1122e908 (patch) | |
| tree | 359062bfff3fbee759d433792b315a137799f416 /scripts | |
| parent | 42c68ad7b51a809e25c8493c221a7ca730c9539d (diff) | |
| parent | ef470a1d10c619f28614140d71e694253e8e6b47 (diff) | |
Merge remote-tracking branch 'origin/4.2' into 4.3
Change-Id: I2f32404f36ed885e78a7616da2f686943a8c8471
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/createDevPackage.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/createDevPackage.py b/scripts/createDevPackage.py index 64c74e0ba1..f9b7a3f0e3 100755 --- a/scripts/createDevPackage.py +++ b/scripts/createDevPackage.py @@ -58,6 +58,7 @@ def parse_arguments(): source_include_patterns = [ # directories r"^scripts/.*$", # everything under scripts/ + r"^doc/.*$", # everything under doc/ r"^share/(qtcreator/(qml/(qmlpuppet/(.*/)?)?)?)?$", # for shared headers for qt quick designer plugins r"^src/(.*/)?$", # all directories under src/ r"^plugins/(.*/)?$", # all directories under plugins/ (if this is run on extra plugin repositories) |