diff --git a/release.nix b/release.nix index bbe1d97f..258a655f 100644 --- a/release.nix +++ b/release.nix @@ -22,6 +22,8 @@ rec { export VARTEXFONTS=$TMPDIR/texfonts ''; + configureFlags = "--with-nix=${nix}"; + postDist = '' cp doc/manual/manual.pdf $out nuke-refs $out/manual.pdf