On Mon, Jun 16, 2014 at 3:56 AM, Rainer Orth <r...@cebitec.uni-bielefeld.de> wrote: > > Works fine, thanks. Just before your patch arrived, I meant to test the > following, slightly more general patch. Perhaps it's an option to > handle other quirks like this?
This approach is fine with me, but the target macro should be documented somwhere. We need to document that multiple options have to be separated with commas, not spaces. Ian
