From 1ed168fc1b5cd711def01c206fbdcae58320878c Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Fri, 28 Dec 2007 11:13:55 +0000 Subject: [PATCH] Update required TeX settings --- doc/src/sgml/docguide.sgml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml index 5aac838522..3ae932e6af 100644 --- 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