1 files changed, 18 insertions, 0 deletions
diff --git a/tools/fix_headers.rb b/tools/fix_headers.rb
new file mode 100755
index 0000000..6d23ed6
--- /dev/null
+++ b/tools/fix_headers.rb
@@ -0,0 +1,18 @@
+#!/usr/bin/ruby
+
+ # for all files
+
+file_names = Dir.glob("**/*.h") + Dir.glob("**/*.cpp")
+new_header = File.read('new_header')
+old_header = File.read('old_header')
+
+file_names.each do |file_name|
+  text = File.read(file_name)
+  new_contents = text.gsub(old_header, new_header)
+
+  # To merely print the contents of the file, use:
+  #puts new_contents
+
+  # To write changes to the file, use:
+  File.open(file_name, "w") {|file| file.puts new_contents }
+end