code: function write_html () {
        if (dest.dest_html) {
          grunt.file.write(dest.dest_html, strip_whitespace(html));
          grunt.log.writeln('Document "' + dest.dest_html + '" extracted.');
        }
      }
docs: Write the HTML