Copy file if moving fails for dodoc
If the file is identical to the one which already exists, which may occur if dodoc is run multiple times when we copy instead of move, then skip the file
Fixes #352 (closed)
If the file is identical to the one which already exists, which may occur if dodoc is run multiple times when we copy instead of move, then skip the file
Fixes #352 (closed)