Index: CMakeLists.txt
===================================================================
--- CMakeLists.txt.orig	2018-07-22 17:19:48.778967851 +0200
+++ CMakeLists.txt	2018-07-22 17:26:56.850761259 +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 )