github.com/coq/opam-coq-archive
Generates HTML documentation from Coq source files. Alternative to coqdoc.
opam install coq-coq2html.1.1