Merge branch 'origin/release-2020' into merge-2020-into-2021

[alexxy/gromacs.git] / docs / dev-manual / releng / index.rst

diff --git a/docs/dev-manual/releng/index.rst b/docs/dev-manual/releng/index.rst
index 8b7e8065bd633219ec4a02a7b95123aec73dae6a..5b9ccdade4d23b1b6c83e7810dc6d10cbbfeaf53 100644 (file)
--- a/docs/dev-manual/releng/index.rst
+++ b/docs/dev-manual/releng/index.rst
@@ -15,9 +15,9 @@ in the official `GitLab documentation <https://docs.gitlab.com/ee/ci/yaml/>`_.
 The new configuration for the builds and tests can be found in the file
 ``.gitlab-ci.yml``, with the templates for configuring is found in the files in the
 ``admin/ci-templates/`` directory. This section is going to be extended
-with individual build information as it comes available. For now we are
-using a combination of building with the previous system on Jenkins
-and post-submit verification on GitLab.
+with individual build information as it comes available.
+
+.. seealso:: :doc:`../infrastructure`
 
 .. _releng-triggering-builds: