diff options
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" ; |