diff options
| author | Evan Read <eread@gitlab.com> | 2022-06-10 06:40:27 +0300 |
|---|---|---|
| committer | Evan Read <eread@gitlab.com> | 2022-06-10 06:40:27 +0300 |
| commit | 32b73c290a056fd1f590f8f6ad6b9664da2e3245 (patch) | |
| tree | d86d020d93d63270adbe848632aec5b8d199a80f /doc | |
| parent | af999a0769cb4f3e405b5a212ce5cadbdc31c5e6 (diff) | |
Add markdownlint to projecteread/add-markdownlint-to-project
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/development.md | 2 | ||||
| -rw-r--r-- | doc/releases.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/development.md b/doc/development.md index a41edb63..bd31982b 100644 --- a/doc/development.md +++ b/doc/development.md @@ -122,7 +122,7 @@ Prerequisites: - You must have Docker or another compatible container runtime installed. - For Linux users, to run the `docker` CLI command as a non-root user, add your user to the `docker` user group, re-login, and restart - `docker.service`. + `docker.service`. Edit the `versions` array to match that of the dropdown: diff --git a/doc/releases.md b/doc/releases.md index 46949c7b..b353d83b 100644 --- a/doc/releases.md +++ b/doc/releases.md @@ -58,7 +58,7 @@ To minimize problems during the documentation release process, use the following [Merge the release merge requests and run the necessary Docker image builds](#merge-merge-requests-and-run-docker-image-builds). - If the 22nd of the month falls on a weekend or public holiday, it's OK to complete this last publication step on the next working day. + If the 22nd of the month falls on a weekend or public holiday, it's OK to complete this last publication step on the next working day. ## Create stable branch and Docker image for release |