Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-15 17:30:35 -0800 (Mon, 15 Jan 2007)
Revision: 9956
Log message:

      Made the usage string for the -R option a bit more verbose, based on Bardur
      Arantsson's suggestion.
      
      Also updated the documentation for the -R option.
      

Changes  Path
+10 -4 omake-branches/0.9.8.x/doc/src/omake-options.tex
+1 -1 omake-branches/0.9.8.x/src/ir/omake_options.ml