From cc12f05a52a47c8fc2cf36c7e908f3b350e10ca0 Mon Sep 17 00:00:00 2001 From: Martin Herkt Date: Wed, 25 Sep 2013 15:54:38 +0200 Subject: configure: improve pdflatex check --- configure | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/configure b/configure index fbffd008e9..d17461f0f7 100755 --- a/configure +++ b/configure @@ -940,10 +940,14 @@ if [ -f "$(which rst2latex.py)" ] ; then fi echocheck "whether to build manual PDFs with rst2latex" +texcheck() { + echo test | $_rst2latex --config=DOCS/man/docutils.conf | pdflatex -halt-on-error -draftmode +} + if test "$_build_pdf" = auto ; then _build_pdf=no - command_check "$_rst2latex" --version && - command_check pdflatex -version && _build_pdf=yes + command_check texcheck && _build_pdf=yes + rm -f texput.{log,aux,out} else _build_pdf=no fi -- cgit v1.2.3