3
0
Fork 0
forked from mirrors/nixpkgs

tex4ht: obsoleted by tex4ht in texlive

This commit is contained in:
Robin Gloster 2018-03-02 10:52:12 +01:00
parent 0e050da0f5
commit e616cd8840
No known key found for this signature in database
GPG key ID: D5C458DF6DD97EDF
2 changed files with 0 additions and 41 deletions

View file

@ -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
};
}

View file

@ -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