protected void generateHelpFile() {
        printHtmlHeader(configuration.getText("doclet.Window_Help_title"),
            null, true);
        printTop();
        navLinks(true);  hr();

        printHelpFileContents();

        navLinks(false);
        printBottom();
        printBodyHtmlEnd();
    }