Rename asciidoc files from .txt to .asciidoc extension.