Generates a single html file, hardcoding the filename