Simplify navbar

uqbar-project · Sep 18, 2024 · 5f9763e · 5f9763e
1 parent 4dc16ec
commit 5f9763e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/_includes/navbar.md b/docs/_includes/navbar.md
@@ -7,6 +7,6 @@
     - [Validator](/wollok-ts/pages/Implementation-Details/Compilation-Pipeline/Validator)
   - [Interpreter](/wollok-ts/pages/Implementation-Details/Interpreter)
 - [How To Contribute](/wollok-ts/pages/How-To-Contribute)
-  - [General Design & Main Concerns](/wollok-ts/pages/How-To-Contribute/General-Design-and-Main-Concerns)
+  - [General Design](/wollok-ts/pages/How-To-Contribute/General-Design-and-Main-Concerns)
   - [Developer Environment](/wollok-ts/pages/How-To-Contribute/Developer-environment)
-  - [Deploy - Publish instructions](/wollok-ts/pages/Publish-Instructions)
+  - [Publish instructions](/wollok-ts/pages/Publish-Instructions)