Rename command-line.txt to command-line.html