private void performCopy(String configdestdir, String filename) {
try {
String destdir = (configdestdir.length() > 0) ? configdestdir + File.separatorChar : "";
if (filename.length() > 0) {
File helpstylefile = new File(filename);
String parent = helpstylefile.getParent();
String helpstylefilename =
(parent == null) ? filename : filename.substring(parent.length() + 1);
File desthelpfile = new File(destdir + helpstylefilename);
if (!desthelpfile.getCanonicalPath().equals(helpstylefile.getCanonicalPath())) {
configuration.message.notice(
(SourcePosition) null,
"doclet.Copying_File_0_To_File_1",
helpstylefile.toString(),
desthelpfile.toString());
Util.copyFile(desthelpfile, helpstylefile);
}
}
} catch (IOException exc) {
configuration.message.error(
(SourcePosition) null, "doclet.perform_copy_exception_encountered", exc.toString());
throw new DocletAbortException();
}
}
