On 30-10-2017 23:19, Dirk Hohndel wrote: > You want USE_WEBENGINE=OFF > Dirk: I've changed this option on ccmake. Still no luck. Each time a build finishes, NO_PRINTING and NO_USERMANUAL revert back to ON... I'll try later on with a fresh src... Cheers: Pedro