diff options
| author | Philip Withnall <philip.withnall@collabora.co.uk> | 2015-01-19 12:27:04 +0000 |
|---|---|---|
| committer | Philip Withnall <philip.withnall@collabora.co.uk> | 2015-01-19 17:29:29 +0000 |
| commit | 71062c1bbcaca23123e152fe6ba5f5c34b29f8bb (patch) | |
| tree | 013c9b57b1ec68e0833e7555a7fd83dd7af1d3e9 /gtkdoc-mkpdf.in | |
| parent | 551ab99ab6ca66ae2f835f79287f4bda36f58357 (diff) | |
| download | gtk-doc-71062c1bbcaca23123e152fe6ba5f5c34b29f8bb.tar.gz | |
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
Diffstat (limited to 'gtkdoc-mkpdf.in')
| -rw-r--r-- | 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 |