Amend 3add2204:

Missed 1 default export case

diff --git a/development/autotests/readDefaultOutputFormat.pl b/development/autotests/readDefaultOutputFormat.pl
index fbc06fc5254b4c6124aed7f91e22ae4da4a86b09..233ae31040c07586d56693d7557cc592fccbacb7 100644 (file)
--- a/development/autotests/readDefaultOutputFormat.pl
+++ b/development/autotests/readDefaultOutputFormat.pl
@@ -65,6 +65,7 @@ if ($language eq "japanese") {
 else { # not a japanese language
   if ($useNonTexFonts) {
     if ($outputFormat =~ /^(default|pdf4)$/) {
+      $outputFormat = "pdf4";
       $texFormat = "xetex";
     }
     elsif ($outputFormat eq "pdf5") {