From d2d46b9f8ae2c46046a81d59fd636681a7be2e12 Mon Sep 17 00:00:00 2001
From: andras86 <szolek@informatik.uni-tuebingen.de>
Date: Tue, 3 Jul 2018 15:02:44 +0200
Subject: [PATCH] Readme updated with --prefix

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 7ed35a2..b4a05ec 100644
--- a/README.md
+++ b/README.md
@@ -166,6 +166,8 @@ optional arguments:
   --outdir OUTDIR, -o OUTDIR
                         Specifies the out directory to which all files should
                         be written.
+  --prefix PREFIX, -p PREFIX
+                        Specifies prefix of output files
   --verbose, -v         Set verbose mode on.
   --config CONFIG, -c CONFIG
                         Path to config file. Default: config.ini in the same