add mdbook-pagetoc

gofractally · Oct 27, 2023 · f4c2f25 · f4c2f25
1 parent 98e052b
commit f4c2f25
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docker/ubuntu-2004-builder.Dockerfile b/docker/ubuntu-2004-builder.Dockerfile
@@ -126,6 +126,7 @@ RUN cd /root \
         mdbook              \
         mdbook-linkcheck    \
         mdbook-mermaid      \
+        mdbook-pagetoc      \
         sccache             \
         wasm-pack           \
     && chmod -R 777 $RUSTUP_HOME \

diff --git a/docker/ubuntu-2204-builder.Dockerfile b/docker/ubuntu-2204-builder.Dockerfile
@@ -84,6 +84,7 @@ RUN cd /root \
         mdbook              \
         mdbook-linkcheck    \
         mdbook-mermaid      \
+        mdbook-pagetoc      \
         sccache             \
         wasm-pack           \
     && chmod -R 777 $RUSTUP_HOME \