diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-08-03T12·24+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-08-03T12·24+0000 |
commit | 9b46d1ae6fe37f4caf24a39541553c07b5c07342 (patch) | |
tree | 586b811fb425d55f2791b9a76fbe940fc029b2e4 | |
parent | 20b6f94b65204f3a7b2e93c31b35f7554f2823a1 (diff) |
-rw-r--r-- | release.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/release.nix b/release.nix index c02a5fa93063..39d6b0c6ba8a 100644 --- a/release.nix +++ b/release.nix @@ -47,6 +47,9 @@ let stripHash ${bzip2.src} cp -pv ${bzip2.src} externals/$strippedName + + # TeX needs a writable font cache. + export VARTEXFONTS=$TMPDIR/texfonts ''; preDist = '' |