code: protected void generateHelpFile() throws IOException {
          String title = configuration.getText("doclet.Window_Help_title");
          Content body = getBody(true, getWindowTitle(title));
          addTop(body);
          addNavLinks(true, body);
          addHelpFileContents(body);
          addNavLinks(false, body);
          addBottom(body);
          printHtmlDocument(null, true, body);
      }
docs: Generate the help file contents.