Re: gdb v7.0 - user defined command's document section - space prefixed end

[Joel Brobecker <brobecker@adacore.com>]

> Assuming v7.0's has the correct and intended behavior (as it appears to  
> be so), shouldn't the document mention it?
> (http://sourceware.org/gdb/current/onlinedocs/gdb_24.html#SEC249) Or am  
> I referring to wrong document?

I'm not sure whether this change of behavior was intended or not. I wonder
how many users indent their GDB scripts the way you did, with the "end"
not being on the first column...

For now, perhaps we should document the fact that we expect the "end"
keyword to be on the first column of the line. I'm also wondering
whether we should consider allowing white spaces before the end in
the comment as well.  It would make us backwards-compatible with
previous versions.

-- 
Joel