diff --git a/README.md b/README.md index 095d25c..ce4eb4b 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ ## Usage ```bash -$ anthem [files] [options] +$ anthem [options] file... ``` ## Building diff --git a/app/main.cpp b/app/main.cpp index 6afd9e5..c2a1dad 100644 --- a/app/main.cpp +++ b/app/main.cpp @@ -16,8 +16,8 @@ int main(int argc, char **argv) ("help,h", "Display this help message") ("version,v", "Display version information") ("input,i", po::value>(), "Input files") - ("color,c", po::value()->default_value("auto"), "Colorize the output (always, never, or auto).") - ("log-priority,p", po::value()->default_value("warning"), "Log messages starting from this priority (debug, info, warning, or error)."); + ("color,c", po::value()->default_value("auto"), "Colorize output (always, never, auto)") + ("log-priority,p", po::value()->default_value("warning"), "Log messages starting from this priority (debug, info, warning, error)"); po::positional_options_description positionalOptionsDescription; positionalOptionsDescription.add("input", -1); @@ -28,7 +28,7 @@ int main(int argc, char **argv) [&]() { std::cout - << "Usage: anthem [files] [options]" << std::endl + << "Usage: anthem [options] file..." << std::endl << "Translate ASP programs to the language of first-order theorem provers." << std::endl << std::endl << description; };