Rename doc.txt to doc.asciidoc