diff --git a/extra/jautomata-core/Makefile b/extra/jautomata-core/Makefile index 769ac920bb5df3104618eefae73a5c72a87c53c0..1d587452d83aab0601e0c756ce27768933d3d0dc 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/