Fix destinations for release notes.

This commit is contained in:
Luke Murphy 2017-10-04 16:53:26 +02:00
parent 35b8e8bce8
commit f22dc42049
No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC
1 changed files with 4 additions and 4 deletions

View File

@ -17,8 +17,8 @@ Please see [CONTRIBUTING.md] for the juicy details.
# Make A New Release
Our production site is contained in the [dist folder]. You'll
need to make sure you have the latest changes by running:
Our production site is contained in the [proddist folder]. You'll need to make
sure you have the latest changes by running:
```bash
$ make proddist
@ -39,8 +39,8 @@ Then make a release with:
$ make release
```
This pushes the contents of the [dist folder] to the production
This pushes the contents of the [proddist folder] to the production
branch which will get picked up by our production instance of
the site.
[dist folder]: https://gitlab.com/autonomic-cooperative/autonomic-cooperative.gitlab.io/tree/master/dist
[proddist folder]: https://gitlab.com/autonomic-cooperative/autonomic-cooperative.gitlab.io/tree/master/proddist