You'll also want to change *.txt if you're working with HTML files (or another type of text file). This command also assumes you're in the directory you want, so you'll also need to use cd to ...

If you want to convert a file from one format to another file format, then use AVS Document Converter. It is a free all-in-one document converter that can read multiple formats and convert them to ...