patch applied (cabal): Change --configure-option= to --configure-arg=

[Duncan Coutts]

On Sun, 2007-09-02 at 14:09 +0100, Ross Paterson wrote:

> > > I forgot that the file format includes XXX-options fields, which might
> > > be a source of confusion.
> > 
> > Mm, good point. We can't change those of course. What do you think we
> > should do?
> 
> I think it argues for --PROG-option(s).  The -args options weren't
> documented, so they didn't exist.

Right.

Duncan