docs: public static void performCopy(String filename, SarlConfiguration configuration) {
  		if (filename.isEmpty()) {
  			return;
  		}
  
  		try {
  			final DocFile fromfile = DocFile.createFileForInput(configuration, filename);
  			final DocPath path = DocPath.create(fromfile.getName());
  			final DocFile toFile = DocFile.createFileForOutput(configuration, path);
  			if (toFile.isSameFile(fromfile)) {
  				return;
  			}
  			configuration.message.notice((SourcePosition) null,
  					"doclet.Copying_File_0_To_File_1", //$NON-NLS-1$
  					fromfile.toString(), path.getPath());
  			toFile.copyFile(fromfile);
  		} catch (IOException exc) {
  			configuration.message.error((SourcePosition) null,
  					"doclet.perform_copy_exception_encountered", //$NON-NLS-1$
  					exc.toString());
  			throw new DocletAbortException(exc);
  		}
  	}