diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf b/Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf index 79e15b44a37..b6f41d3b62c 100644 --- a/Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf +++ b/Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf @@ -8,7 +8,7 @@ max_print_line = 72 % pTeX. mem_bot = 1 -main_memory = 3500 +main_memory = 4500 max_strings = 3000 pool_size = 40000 |