let
com_configure_doc_sources =
"configure_doc_sources"