No user manual - again

[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 build finishes, if I check the building options again, the 
relevant options are again set to ON!).

This is what I have before running the script:

BTSUPPORT                        ON
  CMAKE_BUILD_TYPE                 Debug
  CMAKE_INSTALL_PREFIX             /usr/local
  FBSUPPORT                        OFF
  FORCE_LIBSSH                     ON
  FTDISUPPORT                      ON
  Grantlee5_DIR                    /usr/lib64/cmake/Grantlee5
  LIBDC_FROM_PKGCONFIG             OFF
  LIBDIVECOMPUTER_INCLUDE_DIR /home/XXXXXX/Diveapps/install-root/include
  LIBDIVECOMPUTER_LIBRARIES 
/home/XXXXX/Diveapps/install-root/lib/libdivecomputer.a
  LIBGIT2_DYNAMIC                  ON
  LIBGIT2_FROM_PKGCONFIG           OFF
  LIBGIT2_INCLUDE_DIR              /usr/include
  LIBGIT2_LIBRARIES                /usr/lib/libgit2.so
  LIBGRANTLEE_FROM_PKGCONFIG       OFF
  Libssh2_DIR                      Libssh2_DIR-NOTFOUND
  MAKE_TESTS                       ON
  NO_DOCS                          OFF
  NO_PRINTING                      OFF
  NO_USERMANUAL                    OFF
  Qt5Bluetooth_DIR                 /usr/lib64/cmake/Qt5Bluetooth
  Qt5Concurrent_DIR                /usr/lib64/cmake/Qt5Concurrent
  Qt5Core_DIR                      /usr/lib64/cmake/Qt5Core
  Qt5Gui_DIR                       /usr/lib64/cmake/Qt5Gui
  Qt5LinguistTools_DIR             /usr/lib64/cmake/Qt5LinguistTools
  Qt5Location_DIR                  /usr/lib64/cmake/Qt5Location
  Qt5Network_DIR                   /usr/lib64/cmake/Qt5Network
  Qt5Positioning_DIR               /usr/lib64/cmake/Qt5Positioning
  Qt5PrintSupport_DIR              /usr/lib64/cmake/Qt5PrintSupport
  Qt5Qml_DIR                       /usr/lib64/cmake/Qt5Qml
  Qt5QuickWidgets_DIR              /usr/lib64/cmake/Qt5QuickWidgets
  Qt5Quick_DIR                     /usr/lib64/cmake/Qt5Quick
  Qt5Svg_DIR                       /usr/lib64/cmake/Qt5Svg
  Qt5Test_DIR                      /usr/lib64/cmake/Qt5Test
  Qt5WebChannel_DIR                /usr/lib64/cmake/Qt5WebChannel
  Qt5WebEngineCore_DIR             /usr/lib64/cmake/Qt5WebEngineCore
  Qt5WebEngineWidgets_DIR /usr/lib64/cmake/Qt5WebEngineWidgets
  Qt5WebKitWidgets_DIR             /usr/lib64/cmake/Qt5WebKitWidgets
  Qt5WebKit_DIR                    /usr/lib64/cmake/Qt5WebKit
  Qt5Widgets_DIR                   /usr/lib64/cmake/Qt5Widgets
  Qt5_DIR                          /usr/lib64/cmake/Qt5
  SUBSURFACE_TARGET_EXECUTABLE     DesktopExecutable
  USE_WEBENGINE                    ON
  libcurl_DIR                      libcurl_DIR-NOTFOUND

I'm using Arch Linux.

Any ideas?

Cheers:

Pedro