diff options
| author | Nick Clifton <nickc@redhat.com> | 2001-08-01 15:54:41 +0000 |
|---|---|---|
| committer | Nick Clifton <nickc@redhat.com> | 2001-08-01 15:54:41 +0000 |
| commit | c7c55b785dc640ef7666b35ab77153459e491e9b (patch) | |
| tree | d81e02e412dd6a15f44b9b64bd8096948ee0817d /gdb/sh-stub.c | |
| parent | 28bab82b5a7e70d315dc943ae1e10701b0d629da (diff) | |
| download | gdb-c7c55b785dc640ef7666b35ab77153459e491e9b.zip gdb-c7c55b785dc640ef7666b35ab77153459e491e9b.tar.gz gdb-c7c55b785dc640ef7666b35ab77153459e491e9b.tar.bz2 | |
Use @command{name} for commands. Use @option{-opt} for options.
Use @table @env for list of options. Remove spaces arround [ | ] in synopsis.
Use 'GNU Development Tools' for the center title.
Diffstat (limited to 'gdb/sh-stub.c')
0 files changed, 0 insertions, 0 deletions