From dc45f08f06586e0e6edc5a88f808d60daf0ba266 Mon Sep 17 00:00:00 2001
From: Moritz Bunkus <m.bunkus@linet-services.de>
Date: Thu, 24 May 2007 09:09:07 +0000
Subject: [PATCH] Und noch mehr Optionen.

---
 bin/mozilla/io.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/mozilla/io.pl b/bin/mozilla/io.pl
index 7b5d3fe0b..dd58d0bf4 100644
--- a/bin/mozilla/io.pl
+++ b/bin/mozilla/io.pl
@@ -1380,7 +1380,7 @@ sub print_options {
 
   push @FORMAT, grep $_,
     ($opendocument_templates && $openofficeorg_writer_bin && $xvfb_bin && (-x $openofficeorg_writer_bin) && (-x $xvfb_bin)
-     && !$options->{no_opendocument}) ?
+     && !$options->{no_opendocument_pdf}) ?
       opthash("opendocument_pdf", $form->{DF}{"opendocument_pdf"}, $locale->text("PDF (OpenDocument/OASIS)")) : undef,
     ($latex_templates) ?
       opthash("pdf", $form->{DF}{pdf}, $locale->text('PDF')) : undef,
-- 
2.20.1