From 9a5a2836a98573f83bf0afb3b303ee2f007b08d2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 11 May 2021 18:25:55 +0200 Subject: [PATCH] org: add missing :exports results :results silent * doc/org/ltlfilt.org, doc/org/tut30.org, doc/org/tut31.org: Hide rm invocations used for cleanup. --- doc/org/ltlfilt.org | 2 +- doc/org/tut30.org | 2 +- doc/org/tut31.org | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/org/ltlfilt.org b/doc/org/ltlfilt.org index c27853ffa..0a60479ca 100644 --- a/doc/org/ltlfilt.org +++ b/doc/org/ltlfilt.org @@ -588,7 +588,7 @@ wc -l scheck*.ltl : 4 scheck.ltl : 8 total -#+BEGIN_SRC sh +#+BEGIN_SRC sh :results silent :exports results rm -f ltlex.def ltlex.never scheck.ltl #+END_SRC diff --git a/doc/org/tut30.org b/doc/org/tut30.org index 6fc0bd7f3..164d868f9 100644 --- a/doc/org/tut30.org +++ b/doc/org/tut30.org @@ -232,7 +232,7 @@ State: 4 --END-- #+end_SRC -#+BEGIN_SRC sh :results silent +#+BEGIN_SRC sh :results silent :exports results rm -f tut30.hoa #+END_SRC diff --git a/doc/org/tut31.org b/doc/org/tut31.org index eaf39a788..4897c0415 100644 --- a/doc/org/tut31.org +++ b/doc/org/tut31.org @@ -171,7 +171,7 @@ State: 1 --END-- #+end_SRC -#+BEGIN_SRC sh :results silent +#+BEGIN_SRC sh :results silent :exports results rm -f tut31.hoa #+END_SRC