1 files changed, 8 insertions, 1 deletions
diff --git a/debian/coq.install b/debian/coq.install
index 155e13af..88bea7d4 100644
--- a/debian/coq.install
+++ b/debian/coq.install
@@ -9,6 +9,13 @@ usr/bin/coqtop*
 usr/bin/coqwc
 usr/bin/gallina
 usr/share/emacs/site-lisp/coq
-usr/share/man/man1/c*
+usr/share/man/man1/coqc.1
+usr/share/man/man1/coqdep.1
+usr/share/man/man1/coqdoc.1
+usr/share/man/man1/coq_makefile.1
+usr/share/man/man1/coqmktop.1
+usr/share/man/man1/coq-tex.1
+usr/share/man/man1/coqtop*
+usr/share/man/man1/coqwc.1
 usr/share/man/man1/gallina.1
 usr/share/texmf/tex/latex/misc/*