diff options
| author | Eike Ziller <eike.ziller@qt.io> | 2017-03-09 13:59:12 +0100 |
|---|---|---|
| committer | Eike Ziller <eike.ziller@qt.io> | 2017-03-09 15:00:16 +0000 |
| commit | 9c736b68f5db70a4db33e22204358d887d92b34f (patch) | |
| tree | 09d6f9e688a0a7222e55f717d27fcd87a950ee5d /scripts | |
| parent | 8f3fda10fff9a9be68899531624daf24a0d5af45 (diff) | |
Include doc/ in dev package
Change-Id: I64798d47d9f28826295d555432e3a1f63bbdde20
Reviewed-by: Eike Ziller <eike.ziller@qt.io>
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) |