[User guide tweaks Ian Lynagh **20070716180352] { hunk ./docs/users_guide/using.xml 17 - command-line arguments + Command-line arguments hunk ./docs/users_guide/using.xml 29 - command-line arguments are either options or file names. + Command-line arguments are either options or file names. hunk ./docs/users_guide/using.xml 31 - command-line options begin with -. + Command-line options begin with -. hunk ./docs/users_guide/using.xml 43 - command line options in source files + Command line options in source files hunk ./docs/users_guide/using.xml 107 - Each of GHC's command line options is classified as either - static or dynamic or + Each of GHC's command line options is classified as + static, dynamic or hunk ./docs/users_guide/using.xml 116 - There may be only a single mode flag on the command line. The + There may only be a single mode flag on the command line. The }