Umm, how about pushing the HTML file, too.