build: bump mdbook version

* The "curly-quotes" option has been renamed to "smart-punctuation"

Author: nickelpro

.github/workflows/main.yaml

@@ -5,7 +5,7 @@ name: Deploy Pages
 # Controls when the workflow will run
 on:
   push:
-    branches: [ "main" ]
+    branches: ["main"]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
@@ -37,7 +37,7 @@ jobs:
       - name: Download mdBook
         run: |
           mkdir bin
-          curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.34/mdbook-v0.4.34-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=bin
+          curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.40/mdbook-v0.4.40-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=bin
 
       - name: Build Docs
         run: bin/mdbook build

book.toml

@@ -1,13 +1,13 @@
 [book]
-authors = ["Vito Gamberini"]
+authors = ["NYU ProcDesign Team"]
 language = "en"
 multilingual = false
 src = "src"
 title = "NYU Processor Design Documentation"
 
 [output.html]
 default-theme = "ayu"
-curly-quotes = true
+smart-punctuation = true
 git-repository-url = "https://github.com/NYU-Processor-Design/nyu-processor-design.github.io/tree/main"
 edit-url-template = "https://github.com/NYU-Processor-Design/nyu-processor-design.github.io/tree/main/{path}"