diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-03-15 16:04:31 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-03-15 16:04:31 +0100 |
commit | a4e07f30e880ab27c2918f81f136e257475b7729 (patch) | |
tree | 02db002d3001a49777a049f9a98fdc872a5e1ad1 /web2c | |
parent | cbc37c39432e0ebe38e0922fc6d14c2955ab3ba2 (diff) | |
download | context-a4e07f30e880ab27c2918f81f136e257475b7729.tar.gz |
2018-03-15 15:36:00
Diffstat (limited to 'web2c')
-rw-r--r-- | web2c/contextcnf.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/web2c/contextcnf.lua b/web2c/contextcnf.lua index cd948c23e..842401af7 100644 --- a/web2c/contextcnf.lua +++ b/web2c/contextcnf.lua @@ -124,6 +124,8 @@ return { FONTCONFIG_FILE = "fonts.conf", FONTCONFIG_PATH = "$TEXMFSYSTEM/fonts/conf", + -- EXTRAFONTS = ".;e:/tmp//", + -- we now have a different subsystem for this, }, |