diff options
author | Peter Eisentraut | 2007-12-28 11:13:55 +0000 |
---|---|---|
committer | Peter Eisentraut | 2007-12-28 11:13:55 +0000 |
commit | 6edb0c65b6214daa900491936889ff77ac464f16 (patch) | |
tree | 7d8815ae9ccacf217cda6552ba956ea0f693b141 | |
parent | 9ef704e70470586fd34f3c33b4e07ea558754ba2 (diff) |
Update required TeX settings
-rw-r--r-- | doc/src/sgml/docguide.sgml | 4 |
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> |