2016-09-12 22:16:28 +02:00
|
|
|
Index: CMakeLists.txt
|
|
|
|
|
===================================================================
|
2018-08-04 07:22:47 +02:00
|
|
|
--- CMakeLists.txt.orig 2018-07-22 17:19:48.778967851 +0200
|
|
|
|
|
+++ CMakeLists.txt 2018-07-22 17:26:56.850761259 +0200
|
2016-09-12 22:16:28 +02:00
|
|
|
@@ -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 )
|
2017-01-14 17:32:04 +01:00
|
|
|
+add_a2x_option( -vvv )
|
2016-09-12 22:16:28 +02:00
|
|
|
|
|
|
|
|
# Add a2x options depending on which PDF generator we're using
|
|
|
|
|
if( ${PDF_GENERATOR} MATCHES DBLATEX )
|
