From: Johannes 'josch' Schauer <josch@debian.org>
Date: Tue, 24 Sep 2019 17:55:37 +0200
Subject: use "move" instead of "rename" to support cross device renames

---
 doc/add-header.pl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/add-header.pl b/doc/add-header.pl
index 4fed0f1..6b273df 100755
--- a/doc/add-header.pl
+++ b/doc/add-header.pl
@@ -34,6 +34,7 @@
 use warnings;
 use strict;
 use File::Temp  qw//;
+use File::Copy;
 
 my $NAME = $0;
 $NAME =~ s,.*/,,;
@@ -56,8 +57,8 @@ close OLD;
 close NEW
     or die "$NAME: Cannot close '$new': $!\n";
 
-rename $new, $old
-    or die "$NAME: Cannot rename '$old' to '$new': $!\n";
+move $new, $old
+    or die "$NAME: Cannot move '$old' to '$new': $!\n";
 
 exit;
 
