Add publish instructions to navbar & dev env page

uqbar-project · Sep 18, 2024 · 4dc16ec · 4dc16ec
1 parent 0ec9c70
commit 4dc16ec
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/docs/_includes/navbar.md b/docs/_includes/navbar.md
@@ -9,3 +9,4 @@
 - [How To Contribute](/wollok-ts/pages/How-To-Contribute)
   - [General Design & Main Concerns](/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)
diff --git a/docs/pages/How-To-Contribute/Developer-environment.md b/docs/pages/How-To-Contribute/Developer-environment.md
@@ -140,3 +140,7 @@ If you are developing a dependency of Wollok-TS (for instance Wollok-TS CLI or W
 ```bash
 npm run build
 ```
+
+### Deploying / Publishing
+
+If you need to deploy or publish a new version, please refer to [this page](../Publish-Instructions.md)