From 960dfbc5b4bdf41fb38f68685ae3b8a7063e7ccf Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 15 Oct 2019 06:03:42 +0000
Subject: [PATCH] ocamlPackages.doc-ock-html: remove at 1.2.1

This is now part of ocamlPackages.odoc
---
 .../ocaml-modules/doc-ock-html/default.nix    | 22 -------------------
 pkgs/top-level/ocaml-packages.nix             |  2 --
 2 files changed, 24 deletions(-)
 delete mode 100644 pkgs/development/ocaml-modules/doc-ock-html/default.nix

diff --git a/pkgs/development/ocaml-modules/doc-ock-html/default.nix b/pkgs/development/ocaml-modules/doc-ock-html/default.nix
deleted file mode 100644
index cd2e2761b503..000000000000
--- a/pkgs/development/ocaml-modules/doc-ock-html/default.nix
+++ /dev/null
@@ -1,22 +0,0 @@
-{ stdenv, fetchFromGitHub, buildDunePackage, doc-ock, tyxml, xmlm }:
-
-buildDunePackage rec {
-  pname = "doc-ock-html";
-  version = "1.2.1";
-
-  src = fetchFromGitHub {
-    owner = "ocaml-doc";
-    repo = pname;
-    rev = "v${version}";
-    sha256 = "1y620h48qrplmcm78g7c78zibpkai4j3icwmnx95zb3r8xq8554y";
-  };
-
-  propagatedBuildInputs = [ doc-ock tyxml xmlm ];
-
-  meta = {
-    description = "From doc-ock to HTML";
-    license = stdenv.lib.licenses.isc;
-    maintainers = [ stdenv.lib.maintainers.vbgl ];
-    inherit (src.meta) homepage;
-  };
-}
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 2a1c505e340e..f6ec287ade56 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -213,8 +213,6 @@ let
 
     doc-ock =  callPackage ../development/ocaml-modules/doc-ock { };
 
-    doc-ock-html =  callPackage ../development/ocaml-modules/doc-ock-html { };
-
     doc-ock-xml =  callPackage ../development/ocaml-modules/doc-ock-xml { };
 
     dolmen =  callPackage ../development/ocaml-modules/dolmen { };