From 9e44faab97bfef1335e53434841fffa42dabdace Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Mon, 11 Jan 2016 00:55:25 +0100 Subject: [PATCH] latex2html: remove dead package Broken since Aug 2015, but upstream has been dead for donkey's years. Only dependent was systemtap. No reasonable way (or indeed reason) to artificially keep this alive. Aim for the head. --- .../typesetting/tex/latex2html/default.nix | 27 ------------------- pkgs/top-level/all-packages.nix | 4 --- 2 files changed, 31 deletions(-) delete mode 100644 pkgs/tools/typesetting/tex/latex2html/default.nix 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 {