Rolled change back

akosma · akosma · commit 6fd90372e11f · 2020-08-26T13:12:52.000+02:00
diff --git a/docs/modules/ROOT/nav.adoc b/docs/modules/ROOT/nav.adoc
@@ -1,5 +1,2 @@
 .Tutorial
 * xref:index.adoc[Home]
-
-.Project Syn
-include::syn:ROOT:nav.adoc[]
