diff --git a/prism/Makefile b/prism/Makefile index 7be09b57..c8694541 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -704,8 +704,6 @@ build_release_source: rm -f "release/$(SRC_DIST_FILE)" && \ mkdir -p "release/$(SRC_DIST_DIR)" && \ (cd .. && git archive $(BRANCH) --format=tar) | tar xf - -C "release/$(SRC_DIST_DIR)" && \ - rm -rf "release/$(SRC_DIST_DIR)/prism/examples" && \ - rm -rf "release/$(SRC_DIST_DIR)/prism/tests" && \ (cd release && tar cfz "$(SRC_DIST_FILE)" "$(SRC_DIST_DIR)") && rm -rf "release/$(SRC_DIST_DIR)" # Build Javadoc (and put in javadoc directory) diff --git a/prism/src/bin/xprism.linux b/prism/src/bin/xprism.linux index 4678e5db..316a42e7 100755 --- a/prism/src/bin/xprism.linux +++ b/prism/src/bin/xprism.linux @@ -3,7 +3,7 @@ # Startup script for PRISM GUI (Linux/Solaris) # PRISM home directory -PRISM_DIR=/users/clewil/Documents/D2013/prism-games-multi/prism-games-multi/prism +PRISM_DIR=/home/luser/prism # Launch using main PRISM script PRISM_MAINCLASS=userinterface.GUIPrism