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