diff --git a/gitlab/README.md b/gitlab/README.md index 59ea50aaabf1f09bcc282716b5fa65ae332af00e..612791a1e77d516e27368c314052d57611100238 100644 --- a/gitlab/README.md +++ b/gitlab/README.md @@ -7,7 +7,7 @@ This directory contains scripts that are used by our continuous integration * `<stage>.sh` * `after_<stage>.sh` -Each of these sets correpond to one of the build stages inside the CI builds. +Each of these sets correspond to one of the build stages inside the CI builds. The script `install.sh` contains a basic set of routines to install and update the scripts on the target host. If you add more scripts, it is sensible to