noweb: fix build

This commit is contained in:
Konrad Borowski 2020-02-21 12:38:25 +01:00
parent 0302cbf42b
commit 420b444773

View file

@ -57,7 +57,7 @@ let noweb = stdenv.mkDerivation rec {
# HACK: This is ugly, but functional.
PATH=$out/bin:$PATH make -BC xdoc
make "''${installFlags[@]}" install-man
make "''${installFlags[@]} install-man"
ln -s "$tex" "$out/share/texmf"
'';