Delete update_docs.txt~