Theres several ways you can do this, but I would just write a quick php script to spit out the html in a line and copy / paste it (If you wanted to have the script actually write to the file you could, but it's not that hard to copy paste
)
PHP Code:
<?php
$file = file_get_contents("html.html");
echo htmlentities($file);
?>
Just quick explanation..
file_get_contents() grabs all of the text in "html.html" file into a string (all in one line), next line just spits it out in the format you want. If you want something more elaborate you can look into the following functions:
str_replace()
fopen()
fread()