summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut2007-12-28 11:13:55 +0000
committerPeter Eisentraut2007-12-28 11:13:55 +0000
commit6edb0c65b6214daa900491936889ff77ac464f16 (patch)
tree7d8815ae9ccacf217cda6552ba956ea0f693b141
parent9ef704e70470586fd34f3c33b4e07ea558754ba2 (diff)
Update required TeX settings
-rw-r--r--doc/src/sgml/docguide.sgml4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml
index 1d2ec8c160..8c00b0ebe8 100644
--- a/doc/src/sgml/docguide.sgml
+++ b/doc/src/sgml/docguide.sgml
@@ -649,8 +649,8 @@ string_vacancies.jadetex = 150000
string_vacancies.pdfjadetex = 150000
max_strings.jadetex = 300000
max_strings.pdfjadetex = 300000
-save_size.jadetex = 10000
-save_size.pdfjadetex = 10000
+save_size.jadetex = 15000
+save_size.pdfjadetex = 15000
</programlisting>
</para>
</sect2>