let doc_files = "Documentation files"