avoid using local Makefile to fix make error "jobserver not available"

doc/user-manual/CMakeLists.txt

@@ -15,19 +15,33 @@ if(BUILD_USER_MANUAL)
   CONFIGURE_FILE(${CMAKE_SOURCE_DIR}/CMakeStuff/DC-user-manual.cmake.in
     ${CMAKE_SOURCE_DIR}/doc/user-manual/DC-user-manual @ONLY)
 
-  # Command:
-  # make xtpcpp-doc
-  # Makes use of the local  Makefile file.
+    
+    
+  # Command to make xtpcpp-doc
   # Will generate HTML and PDF documentation in the build directory
 
   # Note that TARGET needs to be lowercase. Since we build the documentation
   # only on UNIX, that target is set in
   # CMakeStuff/toolchains/unix-toolchain.cmake.
 
-  add_custom_target(${TARGET}-doc ALL
-    COMMAND make all
+  
+  add_custom_target(html
+    daps -d DC-user-manual --verbosity=3 html --static
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
-    COMMENT "DocBook-based user manual documentation for ${CMAKE_PROJECT_NAME}")
+    COMMENT "making pdf" VERBATIM
+    )
+    
+  add_custom_target(pdf
+    daps -d DC-user-manual --verbosity=3 pdf
+    WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
+    COMMENT "making pdf" VERBATIM
+    )
+    
+  add_custom_target(${TARGET}-doc
+    DEPENDS pdf html
+    WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
+    COMMENT "making documentation" VERBATIM
+    )
 
   install(FILES
     ${CMAKE_CURRENT_SOURCE_DIR}/build/user-manual/${TARGET}-doc.pdf