Document Nolimips' missing options.

	* doc/nolimips.texi (Invoking Nolimips): Here.

doc/nolimips.texi

@@ -153,7 +153,7 @@ nolimips @var{options} @var{file}
 where @file{file.s} is a simple text file, and @var{options} is any
 combination of the following options:
 
-@table @code
+@table @option
 @item -h
 @itemx --help
 Display a help message and exit successfully.
@@ -207,8 +207,26 @@ Display the read program.
 @item --prg-solve
 Resolve jump offsets and check bounds of immediates.
 
+@item --callee-save=@var{num}
+@itemx --caller-save=@var{num}
+@itemx --argument-registers=@var{num}
+Respectively set the maximum number of callee-save, caller-save and
+argument registers to @var{num}, a positive number.
+
 @item --check-callee-save
 Warn if a callee save register is not preserved across a call.
+
+@item --profile
+Enable program profiling
+
+@item -l @var{library}
+@itemx --system-library=@var{library}
+Specify the builtin system library to use.  Accepted @var{library}
+values are @samp{spim} (selected by default and implementing
+@href{http://spimsimulator.sourceforge.net/, SPIM's} behavior),
+@samp{nolimips} (@nolimips{}' own library), and @samp{none} (no
+builtin library).
+
 @item -e
 @itemx --execute
 Execute the program on virtual machine.
@@ -219,7 +237,6 @@ Trace the execution.
 @item -i
 @itemx --shell
 Launch interactive shell.
-
 @end table
 
 
@@ -278,3 +295,8 @@ registers.
 @printindex fn
 
 @bye
+
+@c Local variables:
+@c coding: utf-8
+@c ispell-local-dictionary: "american"
+@c End: