Index: CMakeLists.txt
===================================================================
--- CMakeLists.txt.orig
+++ CMakeLists.txt
@@ -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( -vv )
 
 # Add a2x options depending on which PDF generator we're using
 if( ${PDF_GENERATOR} MATCHES DBLATEX )