Re: [patchv2+doc] New gdbinit.5 man page + converted gdb.1+gdbserver.1

[Eli Zaretskii <eliz@gnu.org>]

> Date: Fri, 5 Apr 2013 21:42:55 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: tromey@redhat.com, gdb-patches@sourceware.org
> 
> Therefore do you find acceptable the initial form I posted?
> 
> ------------------------------------------------------------------------------
> @c man begin SYNOPSIS gdb
> gdb [@option{-help}] [@option{-nh}] [@option{-nx}] [@option{-q}]
> [@option{-batch}] [@option{-cd=}@var{dir}] [@option{-f}]
> [@option{-b}@w{ }@var{bps}]
>     [@option{-tty=}@var{dev}] [@option{-s} @var{symfile}]
> [@option{-e}@w{ }@var{prog}] [@option{-se}@w{ }@var{prog}]
> [@option{-c}@w{ }@var{core}] [@option{-x}@w{ }@var{cmds}]
>     [@option{-d}@w{ }@var{dir}] [@var{prog} [@var{core}]|@var{procID}]
> @c man end
> ------------------------------------------------------------------------------
>        gdb - The GNU Debugger
> 
> SYNOPSIS
>        gdb [-help] [-nh] [-nx] [-q] [-batch] [-cd=dir] [-f] [-b bps]
>            [-tty=dev] [-s symfile] [-e prog] [-se prog] [-c core] [-x cmds]
>            [-d dir] [prog|core|procID]
> 
> DESCRIPTION
>        The purpose of a debugger such as GDB is to allow you to see what is
> ------------------------------------------------------------------------------

Go for it.

Thanks.