Re: gdb_indent vs. dwarf2read

[Daniel Jacobowitz <drow@mvista.com>]

On Mon, Jan 27, 2003 at 02:05:00PM -0500, Andrew Cagney wrote:
> >.  Should we slavishly obey GNU indent in this, or should I reformat the
> >>>comments by hand before posting the reindentation patch?]
> >
> >>
> >>GDB's indentation is defined by the output of indent.  That one isn't 
> >>open to negotation.
> >
> >
> >OK; but if people prefer to write formatted comments, we could specify
> >indent options, couldn't we?  Or are we defined by the decisions of the
> >Indent maintainers?
> 
> GDB's indentation is defined by the output of indent.  That one isn't 
> open to negotation.
> 
> Please don't waste this lists time by re-visiting a dead issue.

Please don't shoot me in the head for asking an honest question.  It's
apparently been dead for longer than I've been on the GDB lists, and
the issue is not mentioned in MAINTAINERS or in the GDB internals
documentation.  Or even in a comment in gdb_indent.sh.  It wasn't
obvious to me that writing comments with indentation was against GDB's
formatting policies.

It should be documented, obviously.  It would be nice if there were
also a brief rationale, to prevent recurring arguments about what seems
at first glance to be a completely arbitrary decision.  I'm somewhat
unsettled by your response.

-- 
Daniel Jacobowitz
MontaVista Software                         Debian GNU/Linux Developer