diff --git a/pkgs/tools/typesetting/tex/tex4ht/default.nix b/pkgs/tools/typesetting/tex/tex4ht/default.nix deleted file mode 100644 index dc2d3e052e8a..000000000000 --- a/pkgs/tools/typesetting/tex/tex4ht/default.nix +++ /dev/null @@ -1,39 +0,0 @@ -{stdenv, fetchurl, tetex, unzip}: - -stdenv.mkDerivation rec { - name = "tex4ht-1.0.2009_06_11_1038"; - - src = fetchurl { - url = "http://tug.org/applications/tex4ht/tex4ht.zip"; - sha256 = "15gj18ihds6530af42clpa4zskak5kah9wzs2hd19a9ymwjsccd6"; - }; - - buildInputs = [ tetex unzip ]; - - hardeningDisable = [ "format" ]; - - buildPhase = '' - cd src - for f in tex4ht t4ht htcmd ; do - # -DENVFILE="$out/share/texmf-nix/tex4ht/base/unix/tex4ht.env" - ''${CC:-gcc} -o $f $f.c -I${tetex}/include -L${tetex}/lib -DHAVE_DIRENT_H -DHAVE_DIRENT_H -DKPATHSEA -lkpathsea - done - cd - - ''; - - installPhase = '' - mkdir -p $out/bin - for f in src/tex4ht src/t4ht src/htcmd "bin/unix/"*; do - mv $f $out/bin/ - done - mv texmf $out/texmf-dist - ''; - - meta = { - homepage = http://tug.org/tex4ht/; - description = "A system to convert (La)TeX documents to HTML and various other formats"; - license = stdenv.lib.licenses.lppl12; - platforms = stdenv.lib.platforms.unix; - broken = true; # use the one from texlive.tex4ht - }; -} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index c025469152b3..b85a217d3603 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20481,8 +20481,6 @@ with pkgs; tewi-font = callPackage ../data/fonts/tewi {}; - tex4ht = callPackage ../tools/typesetting/tex/tex4ht { tetex = ""; }; - texFunctions = callPackage ../tools/typesetting/tex/nix pkgs; # TeX Live; see http://nixos.org/nixpkgs/manual/#sec-language-texlive