Release 10.3.0 preparation

Author: jginternational

kratos.gid/kratos.xml

@@ -1,11 +1,9 @@
-<?xml version="1.0" encoding="utf-8"?>
-<!-- -*- coding: utf-8;-*- -->
 <Infoproblemtype version="1.0">
   <Program>
     <Name>Kratos</Name>
     <Version>10.3.0</Version>
     <Production>0</Production>
-    <ExecutableVersion></ExecutableVersion>
+    <ExecutableVersion />
     <MinimumGiDVersion>16.1.10d</MinimumGiDVersion>
     <MaximumGiDVersion>17.99.99d</MaximumGiDVersion>
     <CustomLibAutomatic>0</CustomLibAutomatic>
@@ -48,4 +46,4 @@ Kratos is FREE because is devoted mainly to developers, researchers and students
     </Description>
 
   </Program>
-</Infoproblemtype>
+<Production>1</Production></Infoproblemtype>

tools/create-release.bat

@@ -25,6 +25,8 @@ git push --tags --force
 cd ..
 mkdir dist
 set FOLDER=dist\kratos-%VERSION%
+@REM delete the folder recursive if it exists
+if exist %FOLDER% rmdir /s /q %FOLDER%
 mkdir %FOLDER%
 xcopy /s/e/y/q kratos.gid %FOLDER%\kratos.gid\
 copy LICENSE.md %FOLDER%\kratos.gid\LICENSE.md

tools/prepare-release-files.py

@@ -22,6 +22,8 @@ def get_version_number(file_name):
     else:
         production = ET.SubElement(root, 'Production')
         production.text = '1'
+    tree.write(file_name)
+    
 
     file_name = "../kratos.gid/kratos.spd"
     version = get_version_number(file_name)