From 3dc79039715fe38bfff3275a66588d5676baac02 Mon Sep 17 00:00:00 2001
From: Tom Holden <thomas.holden@gmail.com>
Date: Thu, 26 Sep 2019 17:53:10 +0200
Subject: [PATCH] remove png files in release prep

---
 DevTools/PrepareRelease.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/DevTools/PrepareRelease.sh b/DevTools/PrepareRelease.sh
index 37d9d6c..f9eb79f 100644
--- a/DevTools/PrepareRelease.sh
+++ b/DevTools/PrepareRelease.sh
@@ -68,6 +68,7 @@ rm -f -r -d -- **/*.zip
 rm -f -r -d -- **/*.eps
 rm -f -r -d -- **/*.jnl
 rm -f -r -d -- **/*.orig
+rm -f -r -d -- **/*.png
 
 echo 4