diff -purN a/gtkdoc-mkpdf.in b/gtkdoc-mkpdf.in --- a/gtkdoc-mkpdf.in 2015-10-18 11:39:02.000000000 +0200 +++ b/gtkdoc-mkpdf.in 2018-02-07 02:13:12.545514039 +0100 @@ -19,7 +19,7 @@ EOF cleanexit() { rm -f $module.fo - exit 1 + exit $1 } # parse options, ignore unknown options for future extensions @@ -105,7 +105,7 @@ if $is_xml; then fi; @DBLATEX@ 2>&1 >/dev/null $dblatex_options | grep -v 'programlisting or screen' else - { @DBLATEX@ 2>&1 >&3 $dblatex_options | grep -v 'programlisting or screen' >&2; } 3>&1 + { @DBLATEX@ 2>&1 >&3 --verbose $dblatex_options | grep -v 'programlisting or screen' >&2; } 3>&1 fi else if test -n "@FOP@"; then