export ac_cv_prog_HAVE_PDFLATEX="no" &&
default_build &&
unset ac_cv_prog_HAVE_PDFLATEX