diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-06-15 14:15:04 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-06-15 14:15:04 +0200 |
| commit | ce4c6e98782de9bab14ed3963c403edbac974879 (patch) | |
| tree | 3023797c740501bc60ad7a37533c34fd4491cb67 /scripts | |
| parent | bafe29de59fdc2a37922e198aebc9b04f518f152 (diff) | |
| download | context-ce4c6e98782de9bab14ed3963c403edbac974879.tar.gz | |
2015-06-15 13:45:00
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtx-fonts.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-fonts.lua b/scripts/context/lua/mtx-fonts.lua index 808f20358..7f2a6a87f 100644 --- a/scripts/context/lua/mtx-fonts.lua +++ b/scripts/context/lua/mtx-fonts.lua @@ -10,6 +10,8 @@ local getargument = environment.getargument local setargument = environment.setargument local givenfiles = environment.files +local otfversion = 2.815 + local helpinfo = [[ <?xml version="1.0"?> <application> @@ -401,7 +403,7 @@ end function scripts.fonts.unpack() local name = file.removesuffix(file.basename(givenfiles[1] or "")) if name and name ~= "" then - local cache = containers.define("fonts", "otf", 2.742, true) + local cache = containers.define("fonts", "otf", otfversion, true) local cleanname = containers.cleanname(name) local data = containers.read(cache,cleanname) if data then |