1 files changed, 0 insertions, 5 deletions
diff --git a/debian/coq.install.in b/debian/coq.install.in
index 5bb62f26..3b6d66a1 100644
--- a/debian/coq.install.in
+++ b/debian/coq.install.in
@@ -2,22 +2,17 @@ usr/bin/coqc*
 usr/bin/coqdep*
 usr/bin/coqdoc*
 usr/bin/coq_makefile*
-usr/bin/coqmktop*
 usr/bin/coq-interface*
 usr/bin/coq-parser*
 usr/bin/coq-tex*
 usr/bin/coqtop*
 usr/bin/coqwc*
 usr/bin/gallina*
-usr/lib/coq/contrib/micromega/csdpcert*
-usr/lib/coq/*.cm*
-usr/lib/coq/tools/coqdoc/
 usr/share/emacs/site-lisp/coq/
 usr/share/man/man1/coqc*
 usr/share/man/man1/coqdep*
 usr/share/man/man1/coqdoc*
 usr/share/man/man1/coq_makefile*
-usr/share/man/man1/coqmktop*
 usr/share/man/man1/coq-interface*
 usr/share/man/man1/coq-parser*
 usr/share/man/man1/coq-tex*