code: protected void generateHelpFile() throws DocFileIOException {
          String title = configuration.getText("doclet.Window_Help_title");
          HtmlTree body = getBody(true, getWindowTitle(title));
          HtmlTree htmlTree = (configuration.allowTag(HtmlTag.HEADER))
                  ? HtmlTree.HEADER()
                  : body;
          addTop(htmlTree);
          addNavLinks(true, htmlTree);
          if (configuration.allowTag(HtmlTag.HEADER)) {
              body.addContent(htmlTree);
          }
          addHelpFileContents(body);
          if (configuration.allowTag(HtmlTag.FOOTER)) {
              htmlTree = HtmlTree.FOOTER();
          }
          addNavLinks(false, htmlTree);
          addBottom(htmlTree);
          if (configuration.allowTag(HtmlTag.FOOTER)) {
              body.addContent(htmlTree);
          }
          printHtmlDocument(null, true, body);
      }
docs: Generate the help file contents.
  
  @throws DocFileIOException if there is a problem while generating the documentation