coqdoc(1) on Linux
The text 15122f29780a, as Debian 12 (Bookworm) shipped it.
A documentation tool for the Coq proof assistant
Flags it lists
-
--body-only -
--dvi -
--gallina -
--glob-from -
--help -
--html -
--latex -
--latin1 -
--light -
--multi-index -
--no-externals -
--no-index -
--ps -
--quiet -
--short -
--stdout -
--table-of-contents -
--texmacs -
--utf8 -
--version -
-g -
-h -
-l -
-latin1 -
-q -
-s -
-toc -
-utf8 -
-v