RCS file: /disk/cvs/proofgen/ProofGeneral/bin/proofgeneral,v
retrieving revision 10.5
diff -u -r10.5 proofgeneral
|
|
|
|
| 74 | 74 | # Try to find Proof General directory |
| 75 | 75 | if [ -z "$PGHOME" ] || [ ! -d "$PGHOME" ]; then |
| 76 | 76 | # default relative to this script, otherwise PGHOMEDEFAULT |
| 77 | | if [ -d ../generic ]; then |
| 78 | | PGHOME="../generic" |
| | 77 | MYDIR="`readlink --canonicalize "$0" | sed -ne 's,/bin/proofgeneral$,,p'`" |
| | 78 | if [ -d "$MYDIR" ]; then |
| | 79 | PGHOME="$MYDIR" |
| 79 | 80 | elif [ -d "$PGHOMEDEFAULT" ]; then |
| 80 | 81 | PGHOME="$PGHOMEDEFAULT" |
| 81 | 82 | else |
