diff options
Diffstat (limited to 'Build/source/texk/web2c/triptrap/texmf.cnf')
-rw-r--r-- | Build/source/texk/web2c/triptrap/texmf.cnf | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/triptrap/texmf.cnf b/Build/source/texk/web2c/triptrap/texmf.cnf index 5682426c764..348bda03c47 100644 --- a/Build/source/texk/web2c/triptrap/texmf.cnf +++ b/Build/source/texk/web2c/triptrap/texmf.cnf @@ -48,11 +48,8 @@ dvi_buf_size = 800 % Metafont only. gf_buf_size = 8 % trapman.tex says to use this. MFTERM = trap % get the right screen output -% trapman.tex says these values will help reduce the diffs, but it -% actually only gives us one extra hunk (a BLANKRECTANGLE), so they -% don't seem worth dynamicizing. -%screen_width = 100 -%screen_depth = 200 +screen_width = 100 +screen_depth = 200 % MetaPost only. Turn off callmakempx, i.e., makempx, % since we can only test tex and dvitomp, and we'll test those in other |