--- doc/options.text +++ doc/options.text @@ -95,20 +95,20 @@