diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2016-09-10 14:58:00 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2016-09-10 14:58:00 +0200 |
| commit | 20c6f5c5603d3738bcb4ee29d7eb56d7edceed4d (patch) | |
| tree | d7defb885d0ec196ee4a9527e72f5b5a13aec689 /pkgs/tools | |
| parent | bd6e40c27dd69c8060edb1cff2c9d3d209809942 (diff) | |
| download | nixpkgs-20c6f5c5603d3738bcb4ee29d7eb56d7edceed4d.tar nixpkgs-20c6f5c5603d3738bcb4ee29d7eb56d7edceed4d.tar.gz nixpkgs-20c6f5c5603d3738bcb4ee29d7eb56d7edceed4d.tar.bz2 nixpkgs-20c6f5c5603d3738bcb4ee29d7eb56d7edceed4d.tar.lz nixpkgs-20c6f5c5603d3738bcb4ee29d7eb56d7edceed4d.tar.xz nixpkgs-20c6f5c5603d3738bcb4ee29d7eb56d7edceed4d.tar.zst nixpkgs-20c6f5c5603d3738bcb4ee29d7eb56d7edceed4d.zip | |
texlive: add links to ht* tools, in particular htlatex
This should fix #18480.
Diffstat (limited to 'pkgs/tools')
| -rw-r--r-- | pkgs/tools/typesetting/tex/texlive/bin.nix | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/pkgs/tools/typesetting/tex/texlive/bin.nix b/pkgs/tools/typesetting/tex/texlive/bin.nix index 8d410a6bdb2..fe3c0b71b9b 100644 --- a/pkgs/tools/typesetting/tex/texlive/bin.nix +++ b/pkgs/tools/typesetting/tex/texlive/bin.nix @@ -107,7 +107,28 @@ core = stdenv.mkDerivation rec { mv ./texmf.cnf "$out/share/texmf-dist/web2c/" cp ../texk/tests/TeXLive/*.pm "$out/share/texmf-dist/scripts/texlive/TeXLive/" cp ../texk/texlive/linked_scripts/scripts.lst "$out/share/texmf-dist/scripts/texlive/" - '' + /* doc location identical with individual TeX pkgs */ '' + '' + + (let extraScripts = + '' + tex4ht/ht.sh + tex4ht/htcontext.sh + tex4ht/htcopy.pl + tex4ht/htlatex.sh + tex4ht/htmex.sh + tex4ht/htmove.pl + tex4ht/httex.sh + tex4ht/httexi.sh + tex4ht/htxelatex.sh + tex4ht/htxetex.sh + tex4ht/mk4ht.pl + tex4ht/xhlatex.sh + ''; + in + '' + echo -e 'texmf_scripts="$texmf_scripts\n${extraScripts}"' \ + >> "$out/share/texmf-dist/scripts/texlive/scripts.lst" + '') + + /* doc location identical with individual TeX pkgs */ '' mkdir -p "$doc/doc" mv "$doc"/share/{man,info} "$doc"/doc rmdir "$doc"/share |