Merge pull request #3179 from notriddle/notriddle/search-index-smaller

Do not include headers in search index

Author: ehuss

.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: |

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