let configure_doc_sources = "Configure doc sources"