diff --git a/doc/org/genaut.org b/doc/org/genaut.org index 1aaf5ff1b..3bb4045dc 100644 --- a/doc/org/genaut.org +++ b/doc/org/genaut.org @@ -45,7 +45,7 @@ The patterns can be specified using a range of the form =N= (a single value), =N..M= (all values between N and M included), or =..M= (all values between 1 and M included). -#+BEGIN_SRC sh :results verbatim :exports code +#+BEGIN_SRC sh :results verbatim :exports both genaut --ks-nca=..5 --stats='%F=%L has %s states' #+END_SRC