about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-08-03T12·24+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-08-03T12·24+0000
commit9b46d1ae6fe37f4caf24a39541553c07b5c07342 (patch)
tree586b811fb425d55f2791b9a76fbe940fc029b2e4
parent20b6f94b65204f3a7b2e93c31b35f7554f2823a1 (diff)
-rw-r--r--release.nix3
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 = ''