blob: 70bd2cd591f6ca8c6d7fb00df4954ae61a4d7e84 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
--- bin/plman Tue Nov 23 11:32:50 2004
+++ bin/plman.port Mon Dec 12 12:57:36 2005
@@ -1,6 +1,6 @@
#! /bin/sh
-PLMAN_PATH='MODIFY HERE!!' # Example: ~/bin/plman
+PLMAN_PATH='%%DATADIR%%' # Example: ~/bin/plman
# Execute plman
java -classpath "${PLMAN_PATH}/lib/plman.jar":"${PLMAN_PATH}/lib/ant.jar" PropositionalLogicParser $*
|