darcs-all

[Simon Peyton-Jones]

Ian

The darcs-all script is very useful, but could you pls add some comments at the start to explain the user interface?

I wanted to get extralibs today.  Reading the code its seemed that --extra was the thing to say.  But
        darcs-all get --extra
didn't work.

Turns out that
        darcs-all --extra get
is the right thing.

I could add a comment to that effect, but there are other flags, and I'm not sure I'd get it right.  A summary in comments at the top would be fantastic.  Thank you!

Simon