Nick Clifton c7c55b785d 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.		2001-08-01 15:54:41 +00:00
..
binutils.texi	Use @command{name} for commands. Use @option{-opt} for options.	2001-08-01 15:54:41 +00:00
Makefile.am	Use @command{name} for commands. Use @option{-opt} for options.	2001-08-01 15:54:41 +00:00
Makefile.in	2001-07-03 H.J. Lu <hjl@gnu.org>	2001-07-03 16:35:34 +00:00