Add Documentation feature to one Ubuntu 14.04 build
authorFrederik Gladhorn <frederik.gladhorn@qt.io>
Thu, 22 Jun 2017 12:49:39 +0000 (14:49 +0200)
committerSimon Hausmann <simon.hausmann@qt.io>
Fri, 4 Aug 2017 16:12:56 +0000 (16:12 +0000)
commitd1d36cbbf181cd9d5f63950265db23d39a6375f5
tree72e1326d59eaeb2bc1d3c6babc6e12afa073400f
parentc60e90a2c8f6a55eb4edf2c2ff8eda50970a14dc
Add Documentation feature to one Ubuntu 14.04 build

When creating packages, we build the docs on one configuration.
Previously that was done by magic inside the continuous integration
system. Make it a bit less magic by having a flag for it.

Change-Id: Iee5be7037023929b319beffaacb1592dc87d6078
Reviewed-by: Simon Hausmann <simon.hausmann@qt.io>
coin/platform_configs/default.txt