configure: Avoid PDF generation by default if don't have dblatex
authorIan Abbott <abbotti@mev.co.uk>
Tue, 1 May 2012 17:03:57 +0000 (18:03 +0100)
committerIan Abbott <abbotti@mev.co.uk>
Tue, 1 May 2012 17:03:57 +0000 (18:03 +0100)
commit14d401376f3fe4c003af89b4683b4e8a0d245380
treed3c8e856833c25c5da93a6ae9dbaf92c8a6e0c3f
parent5392632a1c93ca09f0fc3bcfd71936b258a6833c
configure: Avoid PDF generation by default if don't have dblatex

Changed handling of --with-pdf-backend[=yes] to avoid picking the default
xmlto backend for PDF generation because it's broken.

The default xmlto backend for PDF generation can still be selected using
--with-pdf-backend=default if you really want to try it.
configure.ac