From 67d3553b1246e1cb4f6411ece48b192ebdf568e4 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 17 Jul 2015 19:04:40 +0200
Subject: [PATCH] org: fix example generation

* doc/org/autfilt.org, doc/org/dstar2tgba.org: Here.  Many examples
failed because the code generating the input was not run.
---
 doc/org/autfilt.org    | 4 ++--
 doc/org/dstar2tgba.org | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/org/autfilt.org b/doc/org/autfilt.org
index 78c92faea..e1b772522 100644
--- a/doc/org/autfilt.org
+++ b/doc/org/autfilt.org
@@ -27,7 +27,7 @@ same stream, =autfilt= will process them in batch.
 The output format can be controlled using [[file:oaut.org][the common output options]]
 (like =--spin=, =--lbtt=, =--dot=, =--hoaf=...).
 
-#+BEGIN_SRC sh :results verbatim :exports code
+#+BEGIN_SRC sh :results silent :exports code
 cat >example.hoa <<EOF
 HOA: v1
 States: 1
@@ -288,7 +288,7 @@ autfilt --help | sed -n '/Transformations:/,/^$/p' | sed '1d;$d'
 
 Here is an automaton with transition-based acceptance:
 
-#+BEGIN_SRC sh :result verbatim :export code
+#+BEGIN_SRC sh :result silent :export code
 cat >aut-ex1.hoa<<EOF
 HOA: v1
 States: 3
diff --git a/doc/org/dstar2tgba.org b/doc/org/dstar2tgba.org
index 0555f2fe6..21d062018 100644
--- a/doc/org/dstar2tgba.org
+++ b/doc/org/dstar2tgba.org
@@ -24,7 +24,7 @@ The following command instructs =ltl2dstar= to:
 Additionally we use =ltlfilt= to convert our formula to the
 prefix format used by =ltl2dstar=.
 
-#+BEGIN_SRC sh :results verbatim :exports node
+#+BEGIN_SRC sh :results silent :exports code
 ltlfilt -f 'Fa & GFb' -l | ltl2dstar --ltl2nba=spin:ltl2tgba@-sD - fagfb
 #+END_SRC