Rename installation.txt to installation.html