diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptrip')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptrip/ptrip.diffs | bin | 0 -> 9543 bytes | |||
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf | 41 |
2 files changed, 41 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptrip/ptrip.diffs b/Build/source/texk/web2c/ptexdir/ptrip/ptrip.diffs Binary files differnew file mode 100644 index 00000000000..9dc6343c0fa --- /dev/null +++ b/Build/source/texk/web2c/ptexdir/ptrip/ptrip.diffs diff --git a/Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf b/Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf new file mode 100644 index 00000000000..79e15b44a37 --- /dev/null +++ b/Build/source/texk/web2c/ptexdir/ptrip/texmf.cnf @@ -0,0 +1,41 @@ +% ptexdir/ptrip/texmf.cnf -- configuration for the ptrip test. + +% These values apply to all the programs, and they are necessary for any +% kind of reasonable diff. +error_line = 64 +half_error_line = 32 +max_print_line = 72 + +% pTeX. +mem_bot = 1 +main_memory = 3500 +max_strings = 3000 +pool_size = 40000 + +string_vacancies = 8000 + +font_mem_size = 20000 +font_max = 75 +stack_size = 200 +nest_size = 40 +buf_size = 500 +save_size = 600 +dvi_buf_size = 800 +% Although hyph_size is settable, it can't be <hyph_prime, which is 607, +% and the original trip setting is 307, so no point in changing the default. + +% Avoid running any MakeTeX* program. +MAKETEXTFM = 0 +MAKETEXTEX = 0 +MAKETEXMF = 0 + +% Search paths. +% trip.tex: +TEXINPUTS = . +% trip.tfm: +TFMFONTS = . +% trip.fmt: +TEXFORMATS = . +% tex.pool: +TEXPOOL = . + |