1,12d0
< #include "EXTERN.h"
< #include "common.h"
< #include "INTERN.h"
< #include "util.h"
< #include "backupfile.h"
< 
< /* Rename a file, copying it if necessary. */
< 
< int
< move_file(from,to)
< char *from, *to;
< {
