[PATCH] Clarify when dont_repeat should be called

[Tom Tromey]

>>>>> "Christian" == Christian Biesinger via Gdb-patches <gdb-patches@sourceware.org> writes:

Christian> It is not immediately obvious that Command.dont_repeat should be called
Christian> in invoke(), not in __init__. Make this obvious in the documentation.

I didn't see a review of this.
Probably Eli just missed it; CC'ing him.

I think it's worth having.

Tom