merged things from devel

2014-09-12 01:37:48 +02:00 · 2014-09-12 01:37:48 +02:00 · 9d9c3fe121
commit 9d9c3fe121
parent 9500780037 6a29fbf240
14 changed files with 110 additions and 48 deletions
--- a/doc/basicopt.txt
+++ b/doc/basicopt.txt
@ -35,3 +35,5 @@ Options:
  -r, --run                 run the compiled program with given arguments
  --advanced                show advanced command line switches
  -h, --help                show this help
+
+Note: Even single letter options require the colon: -p:PATH.