Index: CMakeLists.txt
===================================================================
--- CMakeLists.txt.orig	2016-12-16 20:57:25.000000000 +0200
+++ CMakeLists.txt	2017-01-10 17:02:49.599494545 +0200
@@ -38,7 +38,7 @@ add_adoc_option( --theme flask )
 add_a2x_option( --xsltproc-opts=--nonet )
 add_a2x_option( --no-xmllint )
 add_a2x_option( -f pdf )
-#add_a2x_option( --verbose )
+add_a2x_option( -vvv )
 
 # Add a2x options depending on which PDF generator we're using
 if( ${PDF_GENERATOR} MATCHES DBLATEX )
@@ -46,7 +46,12 @@ if( ${PDF_GENERATOR} MATCHES DBLATEX )
     # --dblatex-opts command and uses the following options for that
     add_dblatex_option( -P latex.output.revhistory=0 )
     add_dblatex_option( -P doc.publisher.show=0 )
-    add_dblatex_option( -s ${PROJECT_SOURCE_DIR}/CMakeSupport/pdf-cover-dblatex.sty )
+    add_dblatex_option( --no-batch )
+    add_dblatex_option( -d )
+    add_dblatex_option( -D )
+    add_dblatex_option( -V )
+    add_dblatex_option( -s ${PROJECT_SOURCE_DIR}/utils/old-build-scripts/pdf-cover-dblatex.sty)
+    # /CMakeSupport/pdf-cover-dblatex.sty )
 
     find_package( DBLATEX REQUIRED )
 endif()