Merge into third commit

diff --git a/source/tools/updateversion.pl b/source/tools/updateversion.pl
index 6be5653..dd9f644 100755 (executable)
--- a/source/tools/updateversion.pl
+++ b/source/tools/updateversion.pl
@@ -123,4 +123,6 @@ while(<$file_handle>)
 }
 close($file_handle);
 
-print $new_file;
+open($file_handle, '>', $filename);
+print $file_handle $new_file;
+close($file_handle);