1 files changed, 26 insertions, 0 deletions
diff --git a/src/script/add_header.pl b/src/script/add_header.pl
new file mode 100755
index 000000000..023c06e45
--- /dev/null
+++ b/src/script/add_header.pl
@@ -0,0 +1,26 @@
+#!/usr/bin/perl
+
+use strict;
+my $fn = shift @ARGV;
+my $old = `cat $fn`;
+
+my $header = `cat doc/header.txt`;
+
+# strip existing header
+my $new = $old;
+if ($new =~ /^(.*)\* Ceph - scalable distributed file system/s) {
+	my ($a,@b) = split(/\*\/\n/, $new);
+	$new = join("*/\n",@b);
+}
+$new = $header . $new;
+
+if ($new ne $old) {
+	open(O, ">$fn.new");
+	print O $new;
+	close O;
+	system "diff $fn $fn.new";
+	rename "$fn.new", $fn;
+	#unlink "$fn.new";
+
+}
+