Disable playground while I try to remember how it works

Keats · Aug 20, 2023 · bfd8d33 · bfd8d33
1 parent d09f966
commit bfd8d33
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/docs/content/playground/_index.md b/docs/content/playground/_index.md
@@ -1,3 +1,2 @@
 +++
-template = "playground.html"
 +++
diff --git a/docs/templates/index.html b/docs/templates/index.html
@@ -17,7 +17,7 @@
                 <nav>
                     <a href="{{ config.base_url }}">Tera</a>
                     <a href="{{ get_url(path="@/docs/_index.md") }}" class="nav-link">Documentation</a>
-                    <a href="{{ get_url(path="@/playground/_index.md") }}" class="nav-link">Playground</a>
+<!--                    <a href="{{ get_url(path="@/playground/_index.md") }}" class="nav-link">Playground</a>-->
                     <a href="https://docs.rs/tera" class="nav-link">API Docs</a>
                 </nav>