Lots more naming changes to reflect that containers are not necessarily 'docker'

2022-06-27 18:30:49 +01:00
parent 1d2e5d5d8f
commit d66c1e92bf
13 changed files with 129 additions and 124 deletions
@@ -8,7 +8,7 @@
    <!-- the docker container outline -->
    <div class="grid-outline docker">
      <div class="outline">
-        Manylinux Docker container
+        Manylinux container
      </div>
    </div>
    <!-- the venv outlines -->
@@ -76,7 +76,7 @@
    steps: [
      [
        {
-          label: 'copy project into docker',
+          label: 'copy project into container',
          platforms: ['linux'],
          style: 'block',
          width: 2,
@@ -204,7 +204,7 @@
      ],
      [
        {
-          label: 'Copy wheels out of Docker',
+          label: 'Copy wheels out of container',
          platforms: ['linux'],
          style: 'block',
          width: 2,