protected void addConfigurationTitle ( Content body ) { if ( configuration . doctitle . length ( ) > 0 ) { Content title = new RawHtml ( configuration . doctitle ) ; Content heading = HtmlTree . HEADING ( HtmlConstants . TITLE_HEADING , HtmlStyle . title , title ) ; Content div = HtmlTree . DIV ( HtmlStyle . header , heading ) ; body . addContent ( div ) ; } }
Adds the doctitle to the documentation tree if it is specified on the command line .