Update and rename doc.adoc to doc.txt