On Mon, Nov 24, 2008 at 5:48 PM, "Michael Krauß" <michael.krauss@gmx.de> wrote:
> Von: "luigi scarso" <luigi.scarso@gmail.com>
> try first to copy in your current dir.
> I have had a similar problem under linux

Do you mean adding the dot in front of the PATH? I did so

mickraus@gandalf:~/context/build-binaries$ echo $PATH
no, copy ctangle in current dir where build-binaries.sh lives