From 8c20417af9e167c5a438e0016a20bb50be18fa4e Mon Sep 17 00:00:00 2001
From: Ulrich Mohr <mohr@irs.uni-stuttgart.de>
Date: Wed, 25 Oct 2023 12:01:40 +0200
Subject: [PATCH] wrong path

---
 automation/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/automation/Dockerfile b/automation/Dockerfile
index 93f3cfdb6..6015335e3 100644
--- a/automation/Dockerfile
+++ b/automation/Dockerfile
@@ -9,7 +9,7 @@ RUN apt-get --yes install gcc g++ cmake make lcov git valgrind nano iputils-ping
 
 # This should also install Sphinx
 COPY docs/requirements.txt .
-RUN python3 -m pip install -r docs/requirements.txt
+RUN python3 -m pip install -r requirements.txt
 RUN python3 -m pip install breathe
 
 RUN git clone https://github.com/catchorg/Catch2.git && \