diff --git a/tools/coqdoc/dune b/tools/coqdoc/dune
index ec638feac541..623dee03634d 100644
--- a/tools/coqdoc/dune
+++ b/tools/coqdoc/dune
@@ -20,7 +20,7 @@
 (executable
  (name coqdoc)
  (public_name coqdoc)
- (package rocq-runtime)
+ (package coq-core)
  (modules coqdoc)
  (libraries coqdoclib))
 
diff --git a/topbin/dune b/topbin/dune
index 71e2900687ea..9c6861c6522d 100644
--- a/topbin/dune
+++ b/topbin/dune
@@ -12,7 +12,7 @@
  (modules rocq)
  (modes exe byte)
  ; we statically link the "small" subcommands instead of having separate binaries
- (libraries rocqshim coqdeplib coqpp))
+ (libraries rocqshim coqdeplib coqpp coqdoclib))
 
 (install
  (section bin)
diff --git a/topbin/rocq.ml b/topbin/rocq.ml
index bae403eebeb5..752cea13d17c 100644
--- a/topbin/rocq.ml
+++ b/topbin/rocq.ml
@@ -31,6 +31,7 @@ let () =
   | ("top"|"repl") :: args -> with_worker opts "repl" args
   | ("preprocess-mlg"|"pp-mlg") :: args -> Coqpp_main.main args
   | "dep" :: args -> Coqdeplib.Rocqdep_main.main args
+  | "doc" :: args -> Coqdoclib.Rocqdoc_main.main ~prog:(Sys.argv.(0) ^ " doc") args
 
   | prog :: _ ->
     fatal_error "Unknown argument %s" prog