diff options
Diffstat (limited to 'metapost')
| -rw-r--r-- | metapost/context/base/metafun.mpiv | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/metapost/context/base/metafun.mpiv b/metapost/context/base/metafun.mpiv index 601b0562e..a113675e6 100644 --- a/metapost/context/base/metafun.mpiv +++ b/metapost/context/base/metafun.mpiv @@ -44,8 +44,10 @@ string metafunversion ; metafunversion = let normalend = end ; -def end = - ; message "" ; message metafunversion ; message "" ; normalend ; -enddef ; +if known mplib : + def end = ; message "" ; message metafunversion ; message "" ; endinput ; enddef ; +else : + def end = ; message "" ; message metafunversion ; message "" ; normalend ; enddef ; +fi ; % dump ; % obsolete in mplib |