From 30bd40ab45687e00c6cee22bb4a7df2d1ad98652 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 24 Nov 2016 23:34:43 +0100
Subject: [PATCH] Changed usage information in app and readme.

---
 README.md    | 2 +-
 app/main.cpp | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

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<std::vector<std::string>>(), "Input files")
-		("color,c", po::value<std::string>()->default_value("auto"), "Colorize the output (always, never, or auto).")
-		("log-priority,p", po::value<std::string>()->default_value("warning"), "Log messages starting from this priority (debug, info, warning, or error).");
+		("color,c", po::value<std::string>()->default_value("auto"), "Colorize output (always, never, auto)")
+		("log-priority,p", po::value<std::string>()->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;
 		};