From 715bc471548d8d7a40f938a163377b3be29377dc Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Mon, 4 Oct 2021 09:08:34 -0700 Subject: [PATCH] Do not include headers in search index This significantly shrinks the pre-compressed search index: $ du -h searchindex-old.js searchindex-new.js 26M searchindex-old.js 19M searchindex-new.js And shrinks the search index even after it's gzipped: $ du -h searchindex-old.js.gz searchindex-new.js.gz 4.5M searchindex-old.js.gz 3.3M searchindex-new.js.gz This change requires a newer version of mdBook, with https://github.com/rust-lang/mdBook/pull/1637 --- .github/workflows/deploy.yml | 2 +- book.toml | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index be0214b5..0c27e53c 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -14,7 +14,7 @@ jobs: - name: Install mdbook run: | mkdir mdbook - curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.10/mdbook-v0.4.10-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook + curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.13/mdbook-v0.4.13-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook echo `pwd`/mdbook >> $GITHUB_PATH - name: Generate Book run: | diff --git a/book.toml b/book.toml index 5470c3ba..2fb28d6d 100644 --- a/book.toml +++ b/book.toml @@ -4,3 +4,6 @@ title = "The Rust RFC Book" [output.html] no-section-label = true git-repository-url = "https://github.com/rust-lang/rfcs" + +[output.html.search] +heading-split-level = 0