From fca1319b7d1c3e3da5b07898d3890bced4a7719e Mon Sep 17 00:00:00 2001 From: UncleCode Date: Sat, 16 Nov 2024 17:10:30 +0800 Subject: [PATCH] feat(docker): add MkDocs installation and build step for documentation --- Dockerfile | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/Dockerfile b/Dockerfile index 125fb9b8..54ac641c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -107,13 +107,19 @@ RUN if [ "$INSTALL_TYPE" = "all" ] ; then \ pip install -e "." ; \ fi + # Install MkDocs and required plugins +RUN pip install --no-cache-dir \ + mkdocs \ + mkdocs-material \ + mkdocs-terminal \ + pymdown-extensions + +# Build MkDocs documentation +RUN mkdocs build + # Install Playwright and browsers RUN playwright install -# Health check -HEALTHCHECK --interval=30s --timeout=30s --start-period=5s --retries=3 \ - CMD curl -f http://localhost:8000/health || exit 1 - # Expose port EXPOSE 8000 11235 9222 8080