From 2d99edd14380be028f4e40d2f08a7cdc574a0fea Mon Sep 17 00:00:00 2001
From: Andrea Spadaccini <andrea.spadaccini@gmail.com>
Date: Sat, 21 Jul 2018 14:44:28 +0100
Subject: [PATCH] Fix splash screen image path

Fixes #195 and also ticks one box in #180.
---
 build.xml                         | 2 +-
 src/main/java/org/edumips64/BUILD | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index a5335f829..f8acb4bf7 100755
--- a/build.xml
+++ b/build.xml
@@ -327,7 +327,7 @@
   <target name="standalone-jar" depends="compile,htmldoc">
       <property name="jar_filename" value="${standalone_jar_filename}" />
       <property name="main_class" value="org.edumips64.Main" />
-      <property name="splash_img" value="org/edumips64/ui/swing/img/splash.png"/>
+      <property name="splash_img" value="images/splash.png"/>
 
       <antcall target="copy-base-files" />
       <antcall target="copy-help-files" />
diff --git a/src/main/java/org/edumips64/BUILD b/src/main/java/org/edumips64/BUILD
index eb1bfa13a..9e801f415 100644
--- a/src/main/java/org/edumips64/BUILD
+++ b/src/main/java/org/edumips64/BUILD
@@ -1,7 +1,7 @@
 # Build variables.
 codename = "Nicolosi"
 
-splash_img = "org/edumips64/ui/swing/img/splash.png"
+splash_img = "images/splash.png"
 
 version = "1.2.4"