From c7d063aaa05926a26d173bb10106f354738e8491 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 20 Oct 2015 14:26:57 +0200
Subject: [PATCH] org: fix multiple examples

I have to remember that org-mode does not evaluate something unless it
is eventually exported.

* doc/org/hoa.org, doc/org/ioltl.org, doc/org/tut21.org,
doc/org/tut30.org: Adjust exports commands.
---
 doc/org/hoa.org   | 9 ++++++---
 doc/org/ioltl.org | 2 +-
 doc/org/tut21.org | 2 +-
 doc/org/tut30.org | 6 +++++-
 4 files changed, 13 insertions(+), 6 deletions(-)

diff --git a/doc/org/hoa.org b/doc/org/hoa.org
index 2669feba7..cd731790d 100644
--- a/doc/org/hoa.org
+++ b/doc/org/hoa.org
@@ -112,7 +112,7 @@ acceptance are pushed onto the outgoing transitions.
 So an automaton represented as an HOA file with this transition
 structure:
 
-#+BEGIN_SRC sh :results verbatim :exports none
+#+BEGIN_SRC sh :results silent :exports results
 cat >stvstracc.hoa <<EOF
 HOA: v1
 States: 3
@@ -120,13 +120,16 @@ Start: 0
 AP: 2 "p0" "p1"
 Acceptance: 2 Inf(0)&Inf(1)
 --BODY--
+/* state-based acceptance */
 State: 0 {0 1}
 [0&!1] 0
 [0&1] 1
 [!0] 2
+/* mixed state- and transition-based acceptance */
 State: 1 {0}
 [0] 1 {1}
 [0&1] 2
+/* transition-based acceptance */
 State: 2
 [!0] 1 {0}
 [0]  2 {1}
@@ -177,7 +180,7 @@ State: 2
 [0] 2 {1}
 #+end_example
 
-#+BEGIN_SRC sh :results verbatim :exports none
+#+BEGIN_SRC sh :results silent :exports results
 rm -f stvstracc.hoa
 #+END_SRC
 
@@ -289,7 +292,7 @@ State: 2
 --END--
 #+end_example
 
-#+BEGIN_SRC sh :results verbatim :exports nond\e
+#+BEGIN_SRC sh :results silent :exports results
 rm sba.hoa
 #+END_SRC
 
diff --git a/doc/org/ioltl.org b/doc/org/ioltl.org
index 509aebc12..3873aaf16 100644
--- a/doc/org/ioltl.org
+++ b/doc/org/ioltl.org
@@ -225,7 +225,7 @@ wc -l example-*.ltl
 :  1 example-5.ltl
 :  5 total
 
-#+BEGIN_SRC sh :results verbatim :exports none
+#+BEGIN_SRC sh :results silent :exports results
 rm -f example-*.ltl
 #+END_SRC
 #+RESULTS:
diff --git a/doc/org/tut21.org b/doc/org/tut21.org
index e98ecbbaa..48ecb0faa 100644
--- a/doc/org/tut21.org
+++ b/doc/org/tut21.org
@@ -158,6 +158,6 @@ State 3:
 #+end_example
 
 
-#+BEGIN_SRC sh :results verbatim :exports none
+#+BEGIN_SRC sh :results silent :exports results
 rm -f tut21.hoa
 #+END_SRC
diff --git a/doc/org/tut30.org b/doc/org/tut30.org
index 75cfeb807..8821e496d 100644
--- a/doc/org/tut30.org
+++ b/doc/org/tut30.org
@@ -5,7 +5,7 @@
 
 Consider the following Rabin automaton, generated by =ltl2dstar=:
 
-#+BEGIN_SRC sh :results verbatim :exports code
+#+BEGIN_SRC sh :results silent :exports both
 ltldo ltl2dstar -f 'F(Xp1 xor XXp1)' -H > tut30.hoa
 #+END_SRC
 
@@ -286,3 +286,7 @@ State: 4
 [0] 4
 --END--
 #+end_example
+
+#+BEGIN_SRC sh :results silent :exports results
+rm -f tut30.hoa
+#+END_SRC