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.
This commit is contained in:
Nick Clifton
2001-08-01 15:54:41 +00:00
parent 28bab82b5a
commit c7c55b785d
3 changed files with 475 additions and 455 deletions

File diff suppressed because it is too large Load Diff