@@ -91,6 +91,7 @@ usagemsg = "Idris version " ++ ver ++ "\n" ++
9191 "\t--log [level] Type debugging log level\n" ++
9292 "\t-S Do no further compilation of code generator output\n" ++
9393 "\t-c Compile to object files rather than an executable\n" ++
94+ "\t--ideslave Ideslave mode (for editors; in/ouput wrapped in s-expressions)\n" ++
9495 "\t--libdir Show library install directory and exit\n" ++
9596 "\t--link Show C library directories and exit (for C linking)\n" ++
9697 "\t--include Show C include directories and exit (for C linking)\n" ++