From 0ada5900de079403286c733369bb0c87b445ce07 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 27 Jan 2017 20:06:19 +0100
Subject: [PATCH] ltldo.org: Fix first examples

Fixes #210.

* doc/org/ltldo.org: Actually execute the code writing sample.ltl, and
remove the file once it is not used anymore.
---
 doc/org/ltldo.org | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/org/ltldo.org b/doc/org/ltldo.org
index 3e840f31f..bd932deeb 100644
--- a/doc/org/ltldo.org
+++ b/doc/org/ltldo.org
@@ -26,7 +26,7 @@ Büchi automaton produced by =ltl3ba=.
 
 Here is the input file:
 
-#+BEGIN_SRC sh :results verbatim :exports code
+#+BEGIN_SRC sh :results silent :exports both
 cat >sample.ltl <<EOF
 1
 1 U a
@@ -289,6 +289,10 @@ ltl3ba,4,7
 
 Much more readable!
 
+#+BEGIN_SRC sh :results silent :exports results
+rm -f sample.ltl
+#+END_SRC
+
 * Shorthands for existing tools
 
 There is a list of existing tools for which =ltldo= (and =ltlcross=)