From 959e757a228981fa06ce24c47c4d77edc26de9e4 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 3 Oct 2016 15:26:25 +0200
Subject: [PATCH] org: cleanup some temporary

* doc/org/concepts.org: Here.
---
 doc/org/concepts.org | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/org/concepts.org b/doc/org/concepts.org
index d5d771642..0e7a7f44f 100644
--- a/doc/org/concepts.org
+++ b/doc/org/concepts.org
@@ -570,6 +570,7 @@ $txt
 #+BEGIN_SRC sh :results verbatim :exports results
 ltl2tgba -s 'p0 | GFp1' > tmp.$$
 ltl2tgba -s6 'p0 | GFp1' | pr -w80 -m -t tmp.$$ -
+rm tmp.$$
 #+END_SRC
 
 #+RESULTS: