From 396124156b2d4f713a321ebf3404d5d593dd41e6 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Mon, 26 Oct 2020 17:41:12 +0100 Subject: [PATCH] Fixed link error. --- src/pages/howto.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/pages/howto.md b/src/pages/howto.md index df157502..3de70111 100644 --- a/src/pages/howto.md +++ b/src/pages/howto.md @@ -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