From 67fdfb98e53f7eb48c9b16109d1dbdedc4c90161 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Thu, 21 Sep 2023 19:28:02 +0200
Subject: [PATCH] let's try something else

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

diff --git a/automation/Dockerfile b/automation/Dockerfile
index 33bfea9..d595b60 100644
--- a/automation/Dockerfile
+++ b/automation/Dockerfile
@@ -13,7 +13,9 @@ ENV CROSS_CONTAINER_IN_CONTAINER=true
 RUN rustup install nightly && \
     rustup target add thumbv7em-none-eabihf armv7-unknown-linux-gnueabihf && \
     rustup component add rustfmt clippy
+
 # RUN cargo install mdbook --no-default-features --features search --vers "^0.4" --locked
+curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.34/mdbook-v0.4.34-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory /usr/local/bin
 
 # SSH stuff to allow deployment to doc server
 RUN adduser --uid 114 jenkins