src/Doc/ROOT

--- a/src/Doc/ROOT	Sun Sep 08 13:07:03 2019 +0200
+++ b/src/Doc/ROOT	Sun Sep 08 16:49:05 2019 +0200
@@ -404,6 +404,8 @@
     "root.tex"
 
 session Tutorial (doc) in "Tutorial" = HOL +
+  directories "Advanced" "CTL" "CodeGen" "Datatype" "Documents" "Fun" "Ifexpr"
+    "Inductive" "Misc" "Protocol" "Rules" "Sets" "ToyList" "Trie" "Types"
   options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false]
   theories [threads = 1]
     "ToyList/ToyList_Test"