writeHTML

fun writeHTML(destination: File)
fun writeHTML(destination: String)
fun writeHTML(destination: Path)

Deprecated (with error)

This function is replaced by `writeHtml()`. Will be ERROR in 1.0.

Replace with

writeHtml(destination)