From 2e92da7acd3e89b7e1cfeeade1133e567ce22dad Mon Sep 17 00:00:00 2001 From: Martin Geisler Date: Fri, 11 Aug 2023 15:40:01 +0200 Subject: [PATCH] Update mdbook to 0.4.34 (#1066) I also updated `book.js` and `index.hbs` to the latest versions while keeping our local modifications. I tested this locally with `mdbook serve` for both English and Brazilian Portuguese and everything seems to work fine. --- .github/workflows/install-mdbook/action.yml | 2 +- theme/index.hbs | 30 +++++++++++++++++++-- third_party/mdbook/book.js | 20 +++++--------- 3 files changed, 36 insertions(+), 16 deletions(-) diff --git a/.github/workflows/install-mdbook/action.yml b/.github/workflows/install-mdbook/action.yml index 8fb31f61..1ee945b8 100644 --- a/.github/workflows/install-mdbook/action.yml +++ b/.github/workflows/install-mdbook/action.yml @@ -8,7 +8,7 @@ runs: # The --locked flag is important for reproducible builds. It also # avoids breakage due to skews between mdbook and mdbook-svgbob. - name: Install mdbook - run: cargo install mdbook --locked --version 0.4.28 + run: cargo install mdbook --locked --version 0.4.34 shell: bash - name: Install mdbook-svgbob diff --git a/theme/index.hbs b/theme/index.hbs index b86f6722..df975d7b 100644 --- a/theme/index.hbs +++ b/theme/index.hbs @@ -64,6 +64,7 @@ {{/if}} +
+
{{> header}} -