From 5d0eeeee381e2957b43a6e0544e65f1b3d5b0795 Mon Sep 17 00:00:00 2001
From: Piotr Bogdan <ppbogdan@gmail.com>
Date: Thu, 22 Mar 2018 15:56:22 +0000
Subject: [PATCH] coq2html: switch to default make

---
 pkgs/applications/science/logic/coq2html/default.nix | 4 ++--
 pkgs/top-level/all-packages.nix                      | 4 +---
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/pkgs/applications/science/logic/coq2html/default.nix b/pkgs/applications/science/logic/coq2html/default.nix
index a987bf1ba57e..d76462ca9380 100644
--- a/pkgs/applications/science/logic/coq2html/default.nix
+++ b/pkgs/applications/science/logic/coq2html/default.nix
@@ -1,4 +1,4 @@
-{ stdenv, make, fetchgit, ocaml }:
+{ stdenv, fetchgit, ocaml }:
 
 let 
   version = "20170720";
@@ -13,7 +13,7 @@ stdenv.mkDerivation {
     sha256 = "1x466j0pyjggyz0870pdllv9f5vpnfrgkd0w7ajvm9rkwyp3f610";
   };
 
-  buildInputs = [ make ocaml ];
+  buildInputs = [ ocaml ];
 
   installPhase = ''
     mkdir -p $out/bin
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 42da2b7d7123..55fa43170187 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -21447,9 +21447,7 @@ with pkgs;
     coqPackages      coq
   ;
 
-  coq2html = callPackage ../applications/science/logic/coq2html {
-    make = pkgs.gnumake3;
-  };
+  coq2html = callPackage ../applications/science/logic/coq2html { };
 
   cryptoverif = callPackage ../applications/science/logic/cryptoverif { };