51 |
import java.io.FileReader; |
import java.io.FileReader; |
52 |
import java.io.FileWriter; |
import java.io.FileWriter; |
53 |
import java.io.InputStream; |
import java.io.InputStream; |
54 |
|
import java.io.InputStreamReader; |
55 |
import java.io.IOException; |
import java.io.IOException; |
56 |
import java.io.OutputStreamWriter; |
import java.io.OutputStreamWriter; |
57 |
import java.io.PrintWriter; |
import java.io.PrintWriter; |
1144 |
output.beginPage("About", getOutputCharset()); |
output.beginPage("About", getOutputCharset()); |
1145 |
output.beginBody(); |
output.beginBody(); |
1146 |
|
|
1147 |
|
printNavBarTop(output, "about"); |
1148 |
|
|
1149 |
output.beginDiv(CssClass.ABOUT_GENERATOR); |
output.beginDiv(CssClass.ABOUT_GENERATOR); |
1150 |
output.print("Generated by "); |
output.print("Generated by "); |
1151 |
output.print("GNU Gjdoc"); |
output.print("GNU Gjdoc"); |
1153 |
output.print(getDocletVersion()); |
output.print(getDocletVersion()); |
1154 |
output.endDiv(CssClass.ABOUT_GENERATOR); |
output.endDiv(CssClass.ABOUT_GENERATOR); |
1155 |
|
|
1156 |
|
printNavBarBottom(output, "about"); |
1157 |
|
|
1158 |
|
output.endBody(); |
1159 |
|
output.endPage(); |
1160 |
|
output.close(); |
1161 |
|
} |
1162 |
|
|
1163 |
|
private void printHelpPage() |
1164 |
|
throws IOException |
1165 |
|
{ |
1166 |
|
HtmlPage output = new HtmlPage(new File(getTargetDirectory(), |
1167 |
|
"help" + filenameExtension), |
1168 |
|
".", |
1169 |
|
getOutputDocEncoding()); |
1170 |
|
output.beginPage("Help", getOutputCharset()); |
1171 |
|
output.beginBody(); |
1172 |
|
|
1173 |
|
printNavBarTop(output, "help"); |
1174 |
|
|
1175 |
|
InputStream helpIn; |
1176 |
|
if (null != optionHelpFile.getValue()){ |
1177 |
|
helpIn = new FileInputStream(optionHelpFile.getValue()); |
1178 |
|
} |
1179 |
|
else { |
1180 |
|
helpIn = getClass().getResourceAsStream("/htmldoclet/help.xhtml"); |
1181 |
|
} |
1182 |
|
output.insert(new InputStreamReader(helpIn, "utf-8")); |
1183 |
|
helpIn.close(); |
1184 |
|
|
1185 |
|
printNavBarBottom(output, "help"); |
1186 |
|
|
1187 |
output.endBody(); |
output.endBody(); |
1188 |
output.endPage(); |
output.endPage(); |
1189 |
output.close(); |
output.close(); |
2238 |
} |
} |
2239 |
} |
} |
2240 |
if (!optionNoHelp.getValue()) { |
if (!optionNoHelp.getValue()) { |
2241 |
InputStream helpIn; |
printHelpPage(); |
|
if (null != optionHelpFile.getValue()){ |
|
|
helpIn = new FileInputStream(optionHelpFile.getValue()); |
|
|
} |
|
|
else { |
|
|
helpIn = getClass().getResourceAsStream("/htmldoclet/help.xhtml"); |
|
|
} |
|
|
FileOutputStream helpOut = new FileOutputStream(new File(getTargetDirectory(), |
|
|
"help" + filenameExtension)); |
|
|
IOToolkit.copyStream(helpIn, helpOut); |
|
|
helpIn.close(); |
|
|
helpOut.close(); |
|
2242 |
} |
} |
2243 |
|
|
2244 |
File stylesheetTargetFile = new File(getTargetDirectory(), |
File stylesheetTargetFile = new File(getTargetDirectory(), |