let doc_files = ref ([] : string list)