diff options
| author | Marius <mariausol@gmail.com> | 2013-03-14 18:00:16 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-03-14 18:00:16 +0200 |
| commit | 800d981b5f6f6d1f196dd3b9a421edb76504d600 (patch) | |
| tree | b67287c8c77ddfca8571f4160611c12d194304c9 /web2c | |
| parent | 660cef836abefb5cb3256ce80532e5c4abc5af7f (diff) | |
| download | context-800d981b5f6f6d1f196dd3b9a421edb76504d600.tar.gz | |
beta 2013.03.14 16:12
Diffstat (limited to 'web2c')
| -rw-r--r-- | web2c/context.cnf | 11 | ||||
| -rw-r--r-- | web2c/contextcnf.lua | 5 |
2 files changed, 13 insertions, 3 deletions
diff --git a/web2c/context.cnf b/web2c/context.cnf index 2c16dcf3d..32c9d6cc0 100644 --- a/web2c/context.cnf +++ b/web2c/context.cnf @@ -19,7 +19,14 @@ TEXMFLOCAL = $SELFAUTOPARENT/texmf-local TEXMFFONTS = $SELFAUTOPARENT/texmf-fonts TEXMFPROJECT = $SELFAUTOPARENT/texmf-project TEXMFCONTEXT = $SELFAUTOPARENT/texmf-context -VARTEXMF = $SELFAUTOPARENT/texmf-var +TEXMFCACHE = $SELFAUTOPARENT/texmf-cache +TEXMFHOME = $HOME/texmf + +TEXMFSYSVAR = $TEXMFCACHE +TEXMFVAR = $TEXMFCACHE + +VARTEXMF = $TEXMFCACHE +VARTEXFONTS = $TEXMFVAR/varfonts HOMETEXMF = $HOME/texmf TEXMF = {$TEXMFHOME,!!$TEXMFPROJECT,!!$TEXMFFONTS,!!$TEXMFLOCAL,!!$TEXMFCONTEXT,!!$TEXMFSYSTEM,!!$TEXMFMAIN} @@ -28,8 +35,6 @@ SYSTEXMF = $TEXMF TEXMFCNF = .;$TEXMF/texmf{-local,}/web2c TEXMFDBS = $TEXMF;$VARTEXFONTS -VARTEXFONTS = $VARTEXMF/varfonts - % In the case of an multi-os setup, this one can be set % by the environment. watch out, lowercase engine ! diff --git a/web2c/contextcnf.lua b/web2c/contextcnf.lua index a7afb1824..d08ecee1d 100644 --- a/web2c/contextcnf.lua +++ b/web2c/contextcnf.lua @@ -49,6 +49,11 @@ return { TEXMFCACHE = "$SELFAUTOPARENT/texmf-cache", + -- not used by context at all + + TEXMFSYSVAR = "$TEXMFCACHE", + TEXMFVAR = "$TEXMFCACHE", + -- I don't like this texmf under home and texmf-home would make more -- sense. One never knows what installers put under texmf anywhere and -- sorting out problems will be a pain. But on the other hand ... home |