From 0245d27959eb8289581cf97a746d3fdd61a12039 Mon Sep 17 00:00:00 2001 From: Robin Date: Sat, 9 Sep 2023 16:48:27 +0200 Subject: [PATCH] Fix phpdoc build, pin version (#3438) --- Dockerfile.phpdoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile.phpdoc b/Dockerfile.phpdoc index 777ca827f1..2fb04ece4a 100644 --- a/Dockerfile.phpdoc +++ b/Dockerfile.phpdoc @@ -1,11 +1,11 @@ -FROM phpdoc/phpdoc as doc_builder +FROM phpdoc/phpdoc:3.4 as doc_builder COPY . /source WORKDIR /source RUN mkdir /target && \ - phpdoc \ + phpdoc run \ -d 'core/classes' \ -d 'modules/Core/classes' \ -d 'modules/Discord Integration/classes' \