@@ -89,18 +89,16 @@ usagemsg = usagemsghdr ++ "\n" ++
89 map (\x -> '-') usagemsghdr ++ "\n" ++
89 map (\x -> '-') usagemsghdr ++ "\n" ++
90 "idris [OPTIONS] [FILE]\n\n" ++
90 "idris [OPTIONS] [FILE]\n\n" ++
91 "Common flags:\n" ++
91 "Common flags:\n" ++
92− "\t --install=IPKG Install Package\n" ++
92+ "\t --install=IPKG Install package\n" ++
93− "\t --clean=IPKG Clean Package\n" ++
93+ "\t --clean=IPKG Clean package\n" ++
94− "\t --build=IPKG Build Package\n" ++
94+ "\t --build=IPKG Build package\n" ++
95− "\t --exec=EXPR Execute as Idris\n" ++
95+ "\t --exec=EXPR Execute as idris\n" ++
96 "\t --libdir Display library directory\n" ++
96 "\t --libdir Display library directory\n" ++
97 "\t --link Display link directory\n" ++
97 "\t --link Display link directory\n" ++
98 "\t --include Display the includes directory\n" ++
98 "\t --include Display the includes directory\n" ++
99 "\t --nobanner Suppress the banner\n" ++
99 "\t --nobanner Suppress the banner\n" ++
100− "\t --color Force colored output\n" ++
101− "\t --colour Force coloured output\n" ++
100+ "\t --color, --colour Force coloured output\n" ++
102− "\t --nocolor Disable colored output\n" ++
103− "\t --nocolour Disable coloured output\n" ++
101+ "\t --nocolor, --nocolour Disable coloured output\n" ++
104 "\t --errorcontent Undocumented\n" ++
102 "\t --errorcontent Undocumented\n" ++
105 "\t --nocoverage Undocumented\n" ++
103 "\t --nocoverage Undocumented\n" ++
106 "\t -o --output=FILE Specify output file\n" ++
104 "\t -o --output=FILE Specify output file\n" ++
@@ -118,22 +116,22 @@ usagemsg = usagemsghdr ++ "\n" ++
118 "\t -i --idrispath=DIR Add directory to the list of import paths\n" ++
116 "\t -i --idrispath=DIR Add directory to the list of import paths\n" ++
119 "\t --package=ITEM Undocumented\n" ++
117 "\t --package=ITEM Undocumented\n" ++
120 "\t --ibcsubdir=FILE Write IBC files into sub directory\n" ++
118 "\t --ibcsubdir=FILE Write IBC files into sub directory\n" ++
121− "\t --codegen=TARGET Select code generator: C, Java, bytecode," ++
119+ "\t --codegen=TARGET Select code generator: C, Java, bytecode,\n" ++
122 "\t javascript, node, or llvm\n" ++
120 "\t javascript, node, or llvm\n" ++
123 "\t --mvn Create a maven project (for Java codegen)\n" ++
121 "\t --mvn Create a maven project (for Java codegen)\n" ++
124− "\t --cpu=CPU Select tartget CPU e.g. corei& or cortex-m3" ++
122+ "\t --cpu=CPU Select tartget CPU e.g. corei7 or cortex-m3\n" ++
125 "\t (for LLVM codegen)\n" ++
123 "\t (for LLVM codegen)\n" ++
126 "\t --target=TRIPLE Select target triple (for llvm codegen)\n" ++
124 "\t --target=TRIPLE Select target triple (for llvm codegen)\n" ++
127 "\t -S --codegenonly Do no further compilation of code generator output\n" ++
125 "\t -S --codegenonly Do no further compilation of code generator output\n" ++
128− "\t -c --compileonly Compile to object fules rather than an executable\n" ++
126+ "\t -c --compileonly Compile to object files rather than an executable\n" ++
129− "\t -X --extension=ITEM undocumented\n" ++
127+ "\t -X --extension=ITEM Undocumented\n" ++
130 "\t --dumpdefuns Undocumented\n" ++
128 "\t --dumpdefuns Undocumented\n" ++
131 "\t --dumpcases Undocumented\n" ++
129 "\t --dumpcases Undocumented\n" ++
132− "\t --log=LEVEL --loglevel Type Debugging log level\n" ++
130+ "\t --log=LEVEL --loglevel Debugging log level\n" ++
133 "\t --ideslave Undocumented\n" ++
131 "\t --ideslave Undocumented\n" ++
134 "\t --client Undocumented\n" ++
132 "\t --client Undocumented\n" ++
135 "\t -h --help Display help message\n" ++
133 "\t -h --help Display help message\n" ++
136 "\t -v --version Print version information\n" ++
134 "\t -v --version Print version information\n" ++
137− "\t -V --Verbose Loud verbosity\n" ++
135+ "\t -V --verbose Loud verbosity\n" ++
138 "\t -q --quiet Quiet verbosity\n"
136 "\t -q --quiet Quiet verbosity\n"