Add rocq doc subcommand

SkySkimmer · Dec 9, 2024 · 5320ec9 · 5320ec9
1 parent ade7dd6
commit 5320ec9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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
@@ -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