diff options
Diffstat (limited to 'doc/guide/index.xhtml')
-rw-r--r-- | doc/guide/index.xhtml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/doc/guide/index.xhtml b/doc/guide/index.xhtml index 638b65b..1e85997 100644 --- a/doc/guide/index.xhtml +++ b/doc/guide/index.xhtml @@ -343,11 +343,11 @@ private: using namespace std; void -usage () +usage (ostream& os) { - cerr << "usage: driver [options] <names>" << endl - << "options:" << endl; - options::print_usage (cerr); + os << "usage: driver [options] <names>" << endl + << "options:" << endl; + options::print_usage (os); } int @@ -360,14 +360,14 @@ main (int argc, char* argv[]) if (o.help ()) { - usage (); + usage (cout); return 0; } if (end == argc) { cerr << "no names provided" << endl; - usage (); + usage (cerr); return 1; } @@ -386,7 +386,7 @@ main (int argc, char* argv[]) catch (const cli::exception& e) { cerr << e << endl; - usage (); + usage (cerr); return 1; } } |