Merge pull request #3565 from ehuss/update-mdbook

Update mdbook to 0.4.37

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.26/mdbook-v0.4.26-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
+        curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.37/mdbook-v0.4.37-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
         echo `pwd`/mdbook >> $GITHUB_PATH
     - name: Generate Book
       run: |

book.toml

@@ -2,6 +2,7 @@
 title = "The Rust RFC Book"
 
 [output.html]
+curly-quotes = true
 no-section-label = true
 git-repository-url = "https://github.com/rust-lang/rfcs"
 site-url = "/rfcs/"