CVS diff files for use with patch.
correct-cvs-diff.awk try to correct files PATH in diff lines inside wrong
command : correct-cvs-diff.awk [-d] cvs-diff-file