From 2d829ed3b72150e5577fd1d7ecbf12f83e97863c Mon Sep 17 00:00:00 2001
From: Terts Diepraam <terts.diepraam@gmail.com>
Date: Sat, 15 Oct 2022 11:51:01 +0200
Subject: [PATCH] install mdbook-toc in the CI

---
 .github/workflows/docs.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 010bc13e3..50ebac690 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -42,6 +42,15 @@ jobs:
       env:
         RUSTUP_TOOLCHAIN: stable
 
+    - name: Install `mdbook-toc`
+      uses: actions-rs/install@v0.1
+      with:
+        crate: mdbook-toc
+        version: latest
+        use-tool-cache: false
+      env:
+        RUSTUP_TOOLCHAIN: stable
+
     - name: Build user Documentation
       run: |
         cd coreutils