From 9476b62045c845f885197b9ee7b08b9f7f333c5b Mon Sep 17 00:00:00 2001
From: Benjamin Bach <benjamin@overtag.dk>
Date: Wed, 17 Aug 2022 19:25:37 +0200
Subject: [PATCH] No make in docker-ce image

---
 .circleci/config.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 37bbc4402..e1b7dabe7 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -19,9 +19,10 @@ commands:
       - checkout
       - setup_remote_docker
       # - run: npm ci
-      - run: make docker-images
-      - run: make docker-run
-      - run: make docker-copy-assets
+      - run: docker build -t sphinx_rtd_theme:latest .
+      - run: docker run --cidfile=.container_id --mount type=bind,source="$(pwd)/src",target=/project/src,readonly sphinx_rtd_theme:latest
+      - run: docker cp "$(cat .container_id):/project/sphinx_rtd_theme" .
+      - run: docker cp "$(cat .container_id):/project/package-lock.json" .
       - run:
           name: Ensure built assets are up to date
           command: |