diff --git a/pkgs/tools/typesetting/tex/latex2html/default.nix b/pkgs/tools/typesetting/tex/latex2html/default.nix deleted file mode 100644 index 45fec9f76da0..000000000000 --- a/pkgs/tools/typesetting/tex/latex2html/default.nix +++ /dev/null @@ -1,27 +0,0 @@ -{ stdenv, fetchurl, tex, perl, netpbm, ghostscript }: - -stdenv.mkDerivation rec { - name = "latex2html-2008"; - - src = fetchurl { - url = "http://www.latex2html.org/~latex2ht/current/${name}.tar.gz"; - sha256 = "1b9pld6wz01p1pf5qwxjipdkhq34hmmw9mfkjp150hlqlcanhiar"; - }; - - buildInputs = [ tex perl ghostscript netpbm ]; - - preConfigure = '' - patchShebangs . - sed -i -e "s|#! /bin/cat|#! $(type -p cat)|" configure - configureFlags="--with-texpath=$out/share/texmf-nix"; - ''; - - meta = { - homepage = "http://www.latex2html.org/"; - description = "Converter written in Perl that converts LaTeX documents to HTML"; - license = stdenv.lib.licenses.gpl2Plus; - - broken = true; - }; - -} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a7716a9e1f66..cca65c52cade 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -15483,10 +15483,6 @@ let DisnixWebService = callPackage ../tools/package-management/disnix/DisnixWebService { }; - latex2html = callPackage ../tools/typesetting/tex/latex2html/default.nix { - tex = tetex; - }; - lkproof = callPackage ../tools/typesetting/tex/lkproof { }; mysqlWorkbench = newScope gnome ../applications/misc/mysql-workbench {