print_form: Extension war vor -r3314 standard auf "html", wurde dann durch anderen...

Fix für Bug 1043.

diff --git a/bin/mozilla/io.pl b/bin/mozilla/io.pl
index b6eaf9c..f890cee 100644 (file)
--- a/bin/mozilla/io.pl
+++ b/bin/mozilla/io.pl
@@ -1479,7 +1479,7 @@ sub print_form {
     reformat_numbers($output_numberformat, $precision, @{ $field_list });
   }
 
-  my $extension = '';
+  my $extension = 'html';
   if ($form->{format} eq 'postscript') {
     $form->{postscript}   = 1;
     $extension            = 'tex';