diff options
Diffstat (limited to 'metapost/context/base/mp-form.mp')
| -rw-r--r-- | metapost/context/base/mp-form.mp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/metapost/context/base/mp-form.mp b/metapost/context/base/mp-form.mp index 1a80d618c..60ea4cac2 100644 --- a/metapost/context/base/mp-form.mp +++ b/metapost/context/base/mp-form.mp @@ -15,6 +15,11 @@ boolean mant_font ; mant_font := true ; % signals graph not to load form +if known mplib : + boolean fmt_loaded ; fmt_loaded := true ; + expandafter endinput +fi ; + if known fmt_loaded : expandafter endinput fi ; boolean fmt_loaded ; fmt_loaded := true ; |