/* Copy a regular file: from src_filename to dest_filename.
The destination file is assumed to be a backup file.
Modification times, owner, group and access permissions are preserved as
far as possible.
Exit upon failure. */
extern void copy_file_preserving (const char *src_filename, const char *dest_filename);
/* Copy a regular file: from src_filename to dest_filename.
The destination file is assumed to be a backup file.
Modification times, owner, group and access permissions are preserved as
far as possible.
Exit upon failure. */
extern void copy_file_preserving (const char *src_filename, const char *dest_filename);