Update required TeX settings

diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml
index 1d2ec8c1604364aa71450f09e42adbbfce00bdef..8c00b0ebe8145b762d687cb4572d40f94bfc7134 100644 (file)
--- 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>