Hey all / Paul, can anyone unpack this line from our ./configure script for me?
rootdir="$(cd "${0%/*}" 2>/dev/null; echo "$PWD")"
As far as I can tell, this results in $PWD being assigned to rootdir, what is
the other magic? :)
Thanks!
Jan
--
