diff --git a/binutils/binutils.texi b/binutils/binutils.texi
index 6d18ebfc5c8..3eea23d3919 100644
--- a/binutils/binutils.texi
+++ b/binutils/binutils.texi
@@ -133,7 +133,7 @@ Discard symbols
 @cindex archives
 @cindex collections of files
 @smallexample
-  ar [-]@var{p}@var{mod} [ @var{membername} ] @var{archive} @var{file@dots{}}
+  ar [-]@var{p}@var{mod} [ @var{membername} ] @var{archive} @var{file}@dots{}
   ar -M [ <mri-script ]
 @end smallexample
 
@@ -191,7 +191,7 @@ program.
 @section Controlling @code{ar} on the command line
 
 @smallexample
-  ar [-]@var{p}@var{mod} [ @var{membername} ] @var{archive} @var{file@dots{}}
+  ar [-]@var{p}@var{mod} [ @var{membername} ] @var{archive} @var{file}@dots{}
 @end smallexample
 
 @cindex Unix compatibility, @code{ar}
@@ -217,7 +217,7 @@ any of the following, but you must specify only one of them:
 @item d
 @cindex deleting from archive
 @emph{Delete} modules from the archive.  Specify the names of modules to
-be deleted as @var{file@dots{}}; the archive is untouched if you
+be deleted as @var{file}@dots{}; the archive is untouched if you
 specify no files to delete.
 
 If you specify the @samp{v} modifier, @code{ar} lists each module
@@ -247,7 +247,7 @@ printed.
 
 @item q
 @cindex quick append to archive
-@emph{Quick append}; add the files @var{file@dots{}} to the end of
+@emph{Quick append}; add the files @var{file}@dots{} to the end of
 @var{archive}, without checking for replacement.
 
 The modifiers @samp{a}, @samp{b}, and @samp{i} do @emph{not} affect this
@@ -261,12 +261,12 @@ index is not updated, even if it already existed; you can use @samp{ar s} or
 
 @item r
 @cindex replacement in archive
-Insert the files @var{file@dots{}} into @var{archive} (with
+Insert the files @var{file}@dots{} into @var{archive} (with
 @emph{replacement}). This operation differs from @samp{q} in that any
 previously existing members are deleted if their names match those being
 added.
 
-If one of the files named in @var{file@dots{}} doesn't exist, @code{ar}
+If one of the files named in @var{file}@dots{} doesn't exist, @code{ar}
 displays an error message, and leaves undisturbed any existing members
 of the archive matching that name.
 
@@ -282,7 +282,7 @@ deleted) or replaced.
 @item t
 @cindex contents of archive
 Display a @emph{table} listing the contents of @var{archive}, or those
-of the files listed in @var{file@dots{}} that are present in the
+of the files listed in @var{file}@dots{} that are present in the
 archive.  Normally only the member name is shown; if you also want to
 see the modes (permissions), timestamp, owner, group, and size, you can
 request that by also specifying the @samp{v} modifier.
@@ -360,7 +360,7 @@ archive is equivalent to running @samp{ranlib} on it.
 
 @item u
 @cindex updating an archive
-Normally, @samp{ar r@dots{}} inserts all files
+Normally, @samp{ar r}@dots{} inserts all files
 listed into the archive.  If you would like to insert @emph{only} those
 of the files you list that are newer than existing members of the same
 names, use this modifier.  The @samp{u} modifier is allowed only for the
@@ -475,8 +475,8 @@ Requires prior use of @code{OPEN} or @code{CREATE}.
 List each named @var{module} present in @var{archive}.  The separate
 command @code{VERBOSE} specifies the form of the output: when verbose
 output is off, output is like that of @samp{ar -t @var{archive}
-@var{module@dots{}}}.  When verbose output is on, the listing is like
-@samp{ar -tv @var{archive} @var{module@dots{}}}.
+@var{module}@dots{}}.  When verbose output is on, the listing is like
+@samp{ar -tv @var{archive} @var{module}@dots{}}.
 
 Output normally goes to the standard output stream; however, if you
 specify @var{outputfile} as a final argument, @code{ar} directs the
@@ -491,7 +491,7 @@ changes are lost.
 @item EXTRACT @var{module}, @var{module}, @dots{} @var{module}
 Extract each named @var{module} from the current archive, writing them
 into the current directory as separate files.  Equivalent to @samp{ar -x
-@var{archive} @var{module@dots{}}}.
+@var{archive} @var{module}@dots{}}.
 
 Requires prior use of @code{OPEN} or @code{CREATE}.
 
@@ -526,7 +526,7 @@ Requires prior use of @code{OPEN} or @code{CREATE}.
 @item VERBOSE
 Toggle an internal flag governing the output from @code{DIRECTORY}.
 When the flag is on, @code{DIRECTORY} output matches output from
-@samp{ar -tv @dots{}}.
+@samp{ar -tv }@dots{}.
 
 @item SAVE
 Commit your changes to the current archive, and actually save it as a
@@ -633,16 +633,16 @@ The GNU linker @code{ld} is now described in a separate manual.
       [ -n | --numeric-sort ]  [ -p | --no-sort ]
       [ -r | --reverse-sort ]  [ -u | --undefined-only ]  
       [ --target=@var{bfdname} ]
-      [ @var{objfile@dots{}} ]
+      [ @var{objfile}@dots{} ]
 @end smallexample
 
-GNU @code{nm} lists the symbols from object files @var{objfile@dots{}}.
+GNU @code{nm} lists the symbols from object files @var{objfile}@dots{}.
 
 The long and short forms of options, shown here as alternatives, are
 equivalent.
 
 @table @code
-@item @var{objfile@dots{}}
+@item @var{objfile}@dots{}
 @kindex a.out
 Object files whose symbols are to be listed.  If no object files are
 listed as arguments, @code{nm} assumes @samp{a.out}.
@@ -715,7 +715,7 @@ Display only undefined symbols (those external to each object file).
           [ -h | --header ]  [ -i ]  [ -j @var{section} ]  [ -l ]
           [ -m @var{machine} ]  [ -r | --reloc ]  [ -s ]
           [ --stabs ]  [ -t | --syms ]  [ -x ]
-          @var{objfile@dots{}}
+          @var{objfile}@dots{}
 @end smallexample
 
 @code{objdump} displays information about one or more object files.
@@ -728,7 +728,7 @@ The long and short forms of options, shown here as alternatives, are
 equivalent.
 
 @table @code
-@item @var{objfile@dots{}}
+@item @var{objfile}@dots{}
 The object files to be examined.  When you specify archives,
 @code{objdump} shows information on each of the member object files.
 
@@ -871,7 +871,7 @@ The GNU @code{ranlib} program is another form of GNU @code{ar}; running
   size [ -A | -B | --format=@var{compatibility} ]
        [ --help ]  [ -d | -o | -x | --radix=@var{number} ]
        [ --target=@var{bfdname} ]  [ -V | --version ]  
-       @var{objfile@dots{}}
+       @var{objfile}@dots{}
 @end smallexample
 
 The GNU @code{size} utility lists the section sizes---and the total
@@ -881,7 +881,7 @@ object file or each module in an archive.
 
 The command line options have the following meanings:
 @table @code
-@item @var{objfile@dots{}}
+@item @var{objfile}@dots{}
 The object files to be examined.
 
 @item -A
@@ -966,11 +966,13 @@ Display version number information for @code{size} itself.
 @cindex symbols, discarding
 
 @smallexample
-strip [-F @var{format} | --format=@var{format} ]
-      [-I @var{format} | --input-format=@var{format} ]
-      [-O @var{format} | --output-format=@var{format} ]
+strip [ -F @var{format} | --format=@var{format} | --target=@var{format} ]
+      [ -I @var{format} | --input-format=@var{format} ]
+      [ -O @var{format} | --output-format=@var{format} ]
+      [ -s | --strip-all ] [ -S | -g | --strip-debug ]
+      [ -x | --discard-all ] [ -X | --discard-locals ]
       [ -v | --verbose ]  [ -V | --version ]
-      @var{objfile@dots{}}
+      @var{objfile}@dots{}
 @end smallexample
 
 GNU @code{strip} discards all symbols from object files
@@ -993,9 +995,14 @@ Replace @var{objfile} with a file in the output format @var{format}.
 
 @item -F @var{format}
 @itemx --format=@var{format}
+@itemx --target=@var{format}
 Treat the original @var{objfile} as a file with the object
 code format @var{format}, and rewrite it in the same format.
 
+@item -s
+@itemx --strip-all
+Remove all symbols.
+
 @item -g
 @itemx -S
 @itemx --strip-debug