Don’t try to install coqmktop

Upstream deprecated it in favor of ocamlfind in
https://github.com/coq/coq/commit/598e3ae4a8eb8d9bce316e13d71ee48d9ba1a01f.

3 files changed, 3 insertions, 4 deletions

diff --git a/debian/changelog b/debian/changelog
index cfed73d4..7d41c67b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,7 @@ coq (8.8.2-1) UNRELEASED; urgency=medium
   * Add Benjamin Barenblat to uploaders
   * Update debian/watch for upstream's transition to GitHub (Closes: #902903)
   * Stop distributing CoqIDE (Closes: #916369)
+  * coqmktop(1) has been deleted; users should migrate to ocamlfind(1)
 
  -- Benjamin Barenblat <bbaren@debian.org>  Mon, 24 Dec 2018 14:56:15 -0500
 
diff --git a/debian/control b/debian/control
index 80fb6fcd..0421b4c0 100644
--- a/debian/control
+++ b/debian/control
@@ -102,5 +102,5 @@ Description: development libraries and tools for Coq
  development of computer programs consistent with their formal
  specification. It is developed using Objective Caml and Camlp5.
  .
- This package provides coqmktop, and libraries needed to develop
- OCaml-side extensions to Coq.
+ This package provides and libraries needed to develop OCaml-side
+ extensions to Coq.
diff --git a/debian/libcoq-ocaml-dev.install.in b/debian/libcoq-ocaml-dev.install.in
index 9ef519ac..4766b5ea 100644
--- a/debian/libcoq-ocaml-dev.install.in
+++ b/debian/libcoq-ocaml-dev.install.in
@@ -1,5 +1,3 @@
-usr/bin/coqmktop*
-usr/share/man/man1/coqmktop*
 usr/lib/coq/engine/engine.cma
 usr/lib/coq/grammar/compat5.cmo
 usr/lib/coq/grammar/grammar.cma