<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">On 30-10-2017 11:18, Tomaz Canabrava
      wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CACk01_yTD_FMMnVnp4J9XozzTeT+C=xmhg64+f6NfxhJgujSfg@mail.gmail.com">
      <div dir="ltr"><br>
        <div class="gmail_extra"><br>
          <div class="gmail_quote">
            <div>on the build folder that the build script creates</div>
            <div>run ccmake and check if the BUILD_WITH_WEBKIT is turned
              on</div>
            <div>this can be a cmake cache issue.</div>
          </div>
        </div>
      </div>
    </blockquote>
    <br>
    Tomaz:<br>
    <br>
    I did as you asked and the option USE_WEBENGINE (I believe that's
    the one you were referring to) is ON. I've also turned OFF
    NO_PRINTING  and NO_USERMANUAL. <br>
    But when I run the build script, there's still no manual. <br>
    <br>
    After the build, when I check ccmake again, the option USE_WEBENGINE
    is ON, but NO_PRINTING  and NO_USERMANUAL are ON...<br>
    <br>
    Pedro<br>
  </body>
</html>