This command is documented in DuneSphinxDoc.
See dune_sphinx_doc() in the module page DuneSphinxDoc.
dune_sphinx_doc()
dune_set_minimal_debug_level
dune_symlink_to_source_files