diff --git a/examples/technical_report/ROOTS b/examples/technical_report/ROOTS
index d4b62f18..e8c0ad59 100755
--- a/examples/technical_report/ROOTS
+++ b/examples/technical_report/ROOTS
@@ -1,2 +1,2 @@
 Isabelle_DOF-Manual
-TR_my_commented_isabelle
+#TR_my_commented_isabelle