882 |
protected void copyDocFiles(File sourceDir, File targetDir) |
protected void copyDocFiles(File sourceDir, File targetDir) |
883 |
throws IOException |
throws IOException |
884 |
{ |
{ |
885 |
File sourceDocFiles = new File(sourceDir, "docfiles"); |
File sourceDocFiles = new File(sourceDir, "doc-files"); |
886 |
File targetDocFiles = new File(targetDir, "docfiles"); |
File targetDocFiles = new File(targetDir, "doc-files"); |
887 |
|
|
888 |
if (sourceDocFiles.exists()) { |
if (sourceDocFiles.exists()) { |
889 |
IOToolkit.copyDirectory(sourceDocFiles, |
IOToolkit.copyDirectory(sourceDocFiles, |