[gtk-doc] gtkdoc-mkpdf: Always error if no tools are available

[Philip Withnall <pwithnall src gnome org>]

commit 71062c1bbcaca23123e152fe6ba5f5c34b29f8bb
Author: Philip Withnall <philip withnall collabora co uk>
Date:   Mon Jan 19 12:27:04 2015 +0000

    gtkdoc-mkpdf: Always error if no tools are available
    
    If neither fop nor dblatex are installed, exit unsuccessfully rather
    than silently failing.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=742580

 gtkdoc-mkpdf.in |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gtkdoc-mkpdf.in b/gtkdoc-mkpdf.in
index 46e1eb4..b4ade2a 100644
--- a/gtkdoc-mkpdf.in
+++ b/gtkdoc-mkpdf.in
@@ -117,6 +117,9 @@ if $is_xml; then
             "$@" -o $module.fo $gtkdocdir/gtk-doc-fo.xsl $document || cleanexit $?
         # fop dies too easily :(
         # @FOP@ $module.fo $module.pdf
+    else
+      echo "dblatex or fop must be installed to use gtkdoc-mkpdf." >&2
+      cleanexit 1
     fi
   fi
 else