HTML.function function

Writes the code of a function to a target HTML file