michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fixed link error.

Browse source
This commit is contained in:
Wen Kokke 2020-10-26 17:41:12 +01:00
parent 9b5ac3e7a8
commit 396124156b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/pages/howto.md
View file

@ -10,7 +10,7 @@ You can cite works by writing `@` followed by a citation key, e.g., `@plfa20.07`
## Publish the current version of PLFA to the web
PLFA used to be published automatically from the `dev` branch by Travis CI. However, given recent trouble with Agda and Travis CS, we moved away from automatic updates.
PLFA used to be published automatically from the `dev` branch by Travis CI. However, given recent trouble with Agda and Travis CS, we moved away from automatic updates.
There are several steps to publishing the current version of PLFA to the web:
@ -54,7 +54,7 @@ There are several steps to creating a new release for PLFA:
- [ ] Add the release version `YY.0M` to the end of the `releaseVersions` variable in `hs/Main.hs`.[^nosupport]
- [ ] Write an announcement for the release in the `_posts` folder, describing any major changes.
- [ ] Commit your changes to the `dev` branch.
- [ ] [Publish the current version of PLFA](#publish-the-current-version-of-PLFA-to-the-web) (again).
- [ ] [Publish the current version of PLFA](#publish-the-current-version-of-plfa-to-the-web) (again).
## Bibliography