diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-07-04 13:50:48 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-07-04 13:50:48 +0200 |
commit | 4bc28891615011ed3581836e9259434720e25830 (patch) | |
tree | 4a753013e7b1e5b83a76c2708939d40b13972240 /metapost/context/base/mpiv/metafun.mpiv | |
parent | 739710f590371de17ae0debb4dc38b0de270b9f3 (diff) | |
download | context-4bc28891615011ed3581836e9259434720e25830.tar.gz |
2019-07-04 12:36:00
Diffstat (limited to 'metapost/context/base/mpiv/metafun.mpiv')
-rw-r--r-- | metapost/context/base/mpiv/metafun.mpiv | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/metapost/context/base/mpiv/metafun.mpiv b/metapost/context/base/mpiv/metafun.mpiv index fa43d3460..5a47280c4 100644 --- a/metapost/context/base/mpiv/metafun.mpiv +++ b/metapost/context/base/mpiv/metafun.mpiv @@ -15,8 +15,10 @@ %D prevent dependency problems and in the end even may use a patched version, %D we prefer to use a copy. -prologues := 0 ; -mpprocset := 1 ; +boolean contextlmtxmode ; contextlmtxmode := if known fontmaking : false else: true fi; + +prologues := 0 ; % not used +mpprocset := 1 ; % not used input "mp-base.mpiv" ; input "mp-tool.mpiv" ; |