Rename manual.txt to manual.adoc