[wip] How to release section

[Eli Zaretskii]

On Tue, 15 Jan 2002, Andrew Cagney wrote:

> >> + As an aside, the branch tag name is probably regrettable vis:
> >> + gdb_N_M-YYYY-MM-DD-@{branch,branchpoint@}.
> > 
> > This should be in @file, and again double the `@'.
> 
> Done.  Not sure about the @ here.  I'm trying to get
> 
> 	gdb_N_M-YYYY-MM-DD-{branch,branchpoint}
> 
> in the final doco.

Oops, my bad: I missed the fact that there are braces there.  @{ and @} 
is correct, sorry.

> > `gdbadmin' is a command, so should be in @code.
> 
> 
> It is an account.  @code or @var or @file or???  I put it in an @file 
> for the moment.

If it's an account, I think @code is the right one.  @samp and @file are 
also okay, but @var is certainly wrong (it will be UPCASED in Info and 
italics in the printed maual--not what you want).