changing file extension from .txt to .html

changing file extension from .txt to .html