diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-03-03 12:43:04 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-03-03 12:43:04 +0000 |
commit | 24deaaa61ff97455011a65667fd4fe7157c81b40 (patch) | |
tree | a89538f8eaefb4be350a5bce429b46121cf50c02 /Build/source/texk/web2c/triptrap | |
parent | 2f20081e4ec1f4d0478285bec99f8b3350f6f7ad (diff) |
runtime settable Metafont screen size
git-svn-id: svn://tug.org/texlive/trunk@17302 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/triptrap')
-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 |