Update required TeX settings

diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml
index 5aac838522bb3abb6a2551d1a65c8066a49f464f..3ae932e6afbe21a5a9e05ab5e4265f665db8ab3b 100644 (file)
--- a/doc/src/sgml/docguide.sgml
+++ b/doc/src/sgml/docguide.sgml
@@ -1,4 +1,4 @@
-
+
 
 
  Documentation
@@ -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