2. Install a symbolic link to the main shell script in ${PREFIX}/bin so
that people won't have to change $PATH to run it.
PR: 50481
Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de> [1 partially]
2. Install a symbolic link to the main shell script in ${PREFIX}/bin so
that people won't have to change $PATH to run it.
PR: 50481
Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de> [1 partially]