Hi Matthias,
> ahh, didn't see that :-/ Now fixed, is this clearer now?
>
> The options @option{--with-target-bdw-gc-include} and
> @option{--with-target-bdw-gc-lib} must always specified together for
^ be
Rainer-- ----------------------------------------------------------------------------- Rainer Orth, Center for Biotechnology, Bielefeld University
