remove also .github dir

apioo · Jun 1, 2019 · f40edbd · f40edbd
1 parent 2891aba
commit f40edbd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build/build.xml b/build/build.xml
@@ -51,6 +51,7 @@
     <!-- removes all files wich are not needed in the release -->
     <target name="remove-files">
         <delete dir="${build}/.git" />
+        <delete dir="${build}/.github" />
         <delete dir="${build}/build" />
         <delete dir="${build}/doc" />
         <delete file="${build}/.travis.yml" />