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 819b147b7..e619f5881 100644
--- a/doc/org/tut30.org
+++ b/doc/org/tut30.org
@@ -231,7 +231,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