diff options
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/release.nix b/release.nix index c76966a1a440..c5c2170f78d0 100644 --- a/release.nix +++ b/release.nix @@ -43,8 +43,6 @@ let (cd perl ; autoreconf --install --force --verbose) # TeX needs a writable font cache. export VARTEXFONTS=$TMPDIR/texfonts - - cp -rv ${nlohmann_json}/include/nlohmann src/nlohmann ''; distPhase = |