From df396063f753aaf59515a502b429b12763571d8a Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Fri, 28 Sep 2018 11:34:13 +0200
Subject: [PATCH] Update on Makefile

---
 extra/jautomata-core/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/extra/jautomata-core/Makefile b/extra/jautomata-core/Makefile
index 769ac920bb..1d587452d8 100644
--- a/extra/jautomata-core/Makefile
+++ b/extra/jautomata-core/Makefile
@@ -3,5 +3,8 @@ all: clean
 	javac -d build/ rationals/*.java rationals/*/*.java
 	cd build;jar -cf jautomata-core.jar rationals/*.class rationals/*/*.class
 
+publish: all
+	cp build/jautomata-core.jar ../../libs/
+
 clean:
 	rm -rf build/
-- 
GitLab