if test "$PDFTEX" = "xetex"; then
# For avoiding PDF destination name replacement.
PDFTEX=$ugh_ugh_autoconf250_builddir/scripts/build/out$CONFIGSUFFIX/xetex-with-options
if test "$PDFTEX" = "xetex"; then
# For avoiding PDF destination name replacement.
PDFTEX=$ugh_ugh_autoconf250_builddir/scripts/build/out$CONFIGSUFFIX/xetex-with-options