diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2017-08-13 19:32:51 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2017-08-13 19:32:51 +0200 |
commit | 34946256a08de90e23ef9da777634c843d2045e9 (patch) | |
tree | 6f4e759a3b5b661bc2affc95959cd716263ccaa2 /pkgs/tools/typesetting | |
parent | 2d0f1c81649807e56e50a27c5632c833f4342842 (diff) | |
parent | 58834f727fab8c1c7d47c6f59b99ac42780b690a (diff) | |
download | nixlib-34946256a08de90e23ef9da777634c843d2045e9.tar nixlib-34946256a08de90e23ef9da777634c843d2045e9.tar.gz nixlib-34946256a08de90e23ef9da777634c843d2045e9.tar.bz2 nixlib-34946256a08de90e23ef9da777634c843d2045e9.tar.lz nixlib-34946256a08de90e23ef9da777634c843d2045e9.tar.xz nixlib-34946256a08de90e23ef9da777634c843d2045e9.tar.zst nixlib-34946256a08de90e23ef9da777634c843d2045e9.zip |
Merge #27424: stdenv: Don't put man pages into $doc
Diffstat (limited to 'pkgs/tools/typesetting')
-rw-r--r-- | pkgs/tools/typesetting/tex/texlive/bin.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/tools/typesetting/tex/texlive/bin.nix b/pkgs/tools/typesetting/tex/texlive/bin.nix index 34520e92a9ae..c15f165013b9 100644 --- a/pkgs/tools/typesetting/tex/texlive/bin.nix +++ b/pkgs/tools/typesetting/tex/texlive/bin.nix @@ -132,8 +132,7 @@ core = stdenv.mkDerivation rec { '') + /* doc location identical with individual TeX pkgs */ '' mkdir -p "$doc/doc" - mv "$doc"/share/{man,info} "$doc"/doc - rmdir "$doc"/share + mv "$out"/share/{man,info} "$doc"/doc '' + cleanBrokenLinks; setupHook = ./setup-hook.sh; # TODO: maybe texmf-nix -> texmf (and all references) |