summaryrefslogtreecommitdiff
path: root/site/docs
diff options
context:
space:
mode:
authorFabian Mastenbroek <mail.fabianm@gmail.com>2023-01-27 22:19:22 +0000
committerGitHub <noreply@github.com>2023-01-27 22:19:22 +0000
commitdd9b7b1e0c59c010fb191a1ea1d805f2748fb216 (patch)
tree25b6112634dbd7bd46ec8eca2656f13fcc9ceb3c /site/docs
parenta7ae00115ed8d65c64830d93ed5e502f122480ef (diff)
parentc31c80293f27ad474a2b9525e82e535b5a9076ae (diff)
merge: Address issues with pre-release workflow (#129)
This pull request addresses the issues encountered during the release of the last release candidate (v3.0-rc1). ## Implementation Notes :hammer_and_pick: * Fix Docker build for web UI * Allow version to be overridable * Update latest release in documentation
Diffstat (limited to 'site/docs')
-rw-r--r--site/docs/getting-started/0-installation.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/site/docs/getting-started/0-installation.md b/site/docs/getting-started/0-installation.md
index 9b9b0e82..e0e944cc 100644
--- a/site/docs/getting-started/0-installation.md
+++ b/site/docs/getting-started/0-installation.md
@@ -20,7 +20,7 @@ quicker.
## Download
-To get an OpenDC distribution, download a recent stable version from our [Releases](https://github.com/atlarge-research/opendc/releases)
+To get an OpenDC distribution, download a recent version from our [Releases](https://github.com/atlarge-research/opendc/releases)
page on GitHub.
## Setup