From 4c4fbb484fcf09ec154c22ab7b83d1c00f5fe4ee Mon Sep 17 00:00:00 2001 From: Antoine James Tournepiche Date: Sat, 16 May 2026 17:32:07 +0200 Subject: [PATCH] chore: remove mdbook & mdbook-mermaid No longer needed following the migration of Maestro Book building from self-hosted GitHub runner to GitHub-hosted runners. See: https://github.com/maestro-os/maestro/pull/83 --- Dockerfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 2b3129d..deafbe4 100644 --- a/Dockerfile +++ b/Dockerfile @@ -23,7 +23,6 @@ ENV HOME=/home/user # Install Rust RUN curl https://sh.rustup.rs -sSf | sh -s -- -y ENV PATH="/home/user/.cargo/bin:${PATH}" -RUN cargo install mdbook mdbook-mermaid WORKDIR /home/user # Build linker