rename teams->docs

antoinepetty · antoinepetty · commit e56628ad0a73 · 2021-12-05T11:23:00.000Z
diff --git a/_includes/navigation.html b/_includes/navigation.html
@@ -6,7 +6,7 @@
   </div>
   <ul id="navigation" class="full-navigation mobile-collapsed">
     <li>
-      <a class="page-link" href="{{ site.url }}/docs/">Teams</a>
+      <a class="page-link" href="{{ site.url }}/docs/">Docs</a>
     </li>
     <li>
       <a class="page-link" href="{{ site.url }}/compete/">Compete</a>
