diff --git a/README.asciidoc b/README.asciidoc index 6d239def297c8b040aaeb2e805fd23bab5456023..0185dbfa37678b7cff6cdd9584d53bcc31b33a90 100644 --- a/README.asciidoc +++ b/README.asciidoc @@ -43,6 +43,7 @@ include::runall.sh[] ---- In the run script you should find two things you might need to change to fit your experiments: + * `--input tutorial.in` (in the first `+java+` line): This tells the program to parse the file `+tutorial.in+`. Change the name of the file to fit your needs. * `+--user test+` (in the second java line): This tells the program to use `+test+` as a user. Consequently, the program will process all files located in `test`. Change this part to fit your needs if you want to perform the experiment for a different user.