This command is documented in DuneSphinxDoc.
See add_sphinx_targets() in the module page DuneSphinxDoc.
add_sphinx_targets()
add_dune_vc_flags
create_doc_install