Re: No user manual - again

2017-10-31 Thread Pedro Neves
On 31-10-2017 09:52, Salvador Cuñat wrote: I'm actually building with USE_WEBENGINE=ON,  the need thing is the recently added tag in command line e.g. build.sh -build-with-webkit.  This tag sets/unsets some cmake variables. Salva: That did the trick. Thank you very much for your help.

Re: No user manual - again

2017-10-31 Thread Pedro Neves
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

Re: No user manual - again

2017-10-30 Thread Dirk Hohndel
> On Oct 30, 2017, at 2:15 PM, Pedro Neves wrote: > > On 30-10-2017 11:18, Tomaz Canabrava wrote: >> >> >> on the build folder that the build script creates >> run ccmake and check if the BUILD_WITH_WEBKIT is turned on >> this can be a cmake cache issue. > > Tomaz: > >

Re: No user manual - again

2017-10-30 Thread Pedro Neves
On 30-10-2017 11:18, Tomaz Canabrava wrote: on the build folder that the build script creates run ccmake and check if the BUILD_WITH_WEBKIT is turned on this can be a cmake cache issue. Tomaz: I did as you asked and the option USE_WEBENGINE (I believe that's the one you were referring to)

Re: No user manual - again

2017-10-30 Thread Tomaz Canabrava
On Sun, Oct 29, 2017 at 8:11 PM, Pedro Neves wrote: > On 29-10-2017 14:50, Dirk Hohndel wrote: > >> Is qt webkit installed? I'm on my phone, I don't quite remember the >> package name, but without that it will always revert to no user manual >> >> > I have qt5-webkit

Re: No user manual - again

2017-10-29 Thread Pedro Neves
On 29-10-2017 14:50, Dirk Hohndel wrote: Is qt webkit installed? I'm on my phone, I don't quite remember the package name, but without that it will always revert to no user manual I have qt5-webkit installed... Pedro ___ subsurface mailing list

Re: No user manual - again

2017-10-29 Thread Dirk Hohndel
Is qt webkit installed? I'm on my phone, I don't quite remember the package name, but without that it will always revert to no user manual /D On October 29, 2017 3:57:11 AM PDT, Pedro Neves wrote: >Hi all: > >I've been having troubles building Subsurface with user manual.

Re: No user manual - again

2017-10-29 Thread Willem Ferguson
On 29/10/2017 14:10, Pedro Neves wrote: On 29-10-2017 11:27, Willem Ferguson wrote: Pedro, There is a command-line option -BUILD_WITH_WEBKIT. specify that at build time. That is what worked for me. Willem: I'm using: ./subsurface/scripts/build.sh -BUILD_WITH_WEBKIT=1 But still no luck.

Re: No user manual - again

2017-10-29 Thread Pedro Neves
On 29-10-2017 11:27, Willem Ferguson wrote: Pedro, There is a command-line option -BUILD_WITH_WEBKIT. specify that at build time. That is what worked for me. Willem: I'm using: ./subsurface/scripts/build.sh -BUILD_WITH_WEBKIT=1 But still no luck. Was this what you meant? The ccmake

Re: No user manual - again

2017-10-29 Thread Willem Ferguson
On 29/10/2017 12:57, Pedro Neves wrote: Hi all: I've been having troubles building Subsurface with user manual. No matter how many times I set the build options "NO_DOCS" and "NO_USERMANUAL" to OFF (with ccmake . or ccmake build), subsurface is always built without user manual (The option

No user manual - again

2017-10-29 Thread Pedro Neves
Hi all: I've been having troubles building Subsurface with user manual. No matter how many times I set the build options "NO_DOCS" and "NO_USERMANUAL" to OFF (with ccmake . or ccmake build), subsurface is always built without user manual (The option "USE_WEBENGINE" is set to ON). After the