1 files changed, 1 insertions, 1 deletions

diff --git a/man/dune b/man/dune
index 359e780545..03b2dbeb68 100644
--- a/man/dune
+++ b/man/dune
@@ -1,6 +1,6 @@
 (install
  (section man)
- (package coq)
+ (package coq-core)
  (files coqc.1 coqtop.1 coqtop.byte.1 coqtop.opt.1 coqchk.1 coqdep.1 coqdoc.1 coq_makefile.1 coq-tex.1 coqwc.1))
 
 (install