Use mdbook@0.5.1 and mdbook-mermaid@0.17.0

.github/workflows/deploy.yml

@@ -28,12 +28,12 @@ jobs:
           echo "$(pwd)/opt/mdbook-mermaid" >> $GITHUB_PATH
       - name: Install latest mdbook
         run: |
-          tag=v0.4.52
+          tag=v0.5.1
           url="https://github.com/rust-lang/mdbook/releases/download/$tag/mdbook-$tag-x86_64-unknown-linux-gnu.tar.gz"
           curl -sSL "$url" | tar -xz --directory=./opt/mdbook
       - name: Install latest mdbook-mermaid
         run: |
-          tag=v0.16.2
+          tag=v0.17.0
           url="https://github.com/badboy/mdbook-mermaid/releases/download/$tag/mdbook-mermaid-$tag-x86_64-unknown-linux-gnu.tar.gz"
           curl -sSL "$url" | tar -xz --directory=./opt/mdbook-mermaid
       - name: Build book

README.md

@@ -6,8 +6,8 @@ The Servo Book
 To render the book locally:
 
 ```sh
-$ cargo install mdbook --vers '^0.4' --locked
-$ cargo install mdbook-mermaid --vers '^0.15' --locked
+$ cargo install mdbook --vers '^0.5' --locked
+$ cargo install mdbook-mermaid --vers '^0.17' --locked
 $ mdbook serve --open
 ```
 

book.toml

@@ -6,7 +6,6 @@ title = "The Servo Book"
 
 [output.html]
 git-repository-url = "https://github.com/servo/book"
-git-repository-icon = "fa-github"
 edit-url-template = "https://github.com/servo/book/edit/main/{path}"
 site-url = "/"
 # Putting additional-css and additional-js in src/ gives them live reload.

src/building/linux.md

@@ -43,17 +43,17 @@ Updates to this list are very welcome!
 <!-- see python/servo/platform/linux.py in servo for how to update this -->
 * `sudo dnf install libtool gcc-c++ libXi-devel freetype-devel libunwind-devel mesa-libGL-devel mesa-libEGL-devel glib2-devel libX11-devel libXrandr-devel gperf fontconfig-devel cabextract ttmkfdir expat-devel rpm-build cmake libXcursor-devel libXmu-devel dbus-devel ncurses-devel harfbuzz-devel ccache clang clang-libs llvm python3-devel gstreamer1-devel gstreamer1-plugins-base-devel gstreamer1-plugins-good gstreamer1-plugins-bad-free-devel gstreamer1-plugins-ugly-free libjpeg-turbo-devel zlib-ng libjpeg-turbo vulkan-loader libxkbcommon libxkbcommon-x11 wireshark-cli`
 
-## Gentoo-like { #dependencies-for-gentoo }
+### Gentoo-like { #dependencies-for-gentoo }
 
 <!-- https://packages.gentoo.org -->
 - `sudo emerge net-misc/curl media-libs/freetype media-libs/mesa dev-util/gperf dev-libs/openssl media-libs/harfbuzz dev-util/ccache sys-libs/libunwind x11-libs/libXmu x11-base/xorg-server sys-devel/clang media-libs/gstreamer media-libs/gst-plugins-base media-libs/gst-plugins-good media-libs/gst-plugins-bad media-libs/gst-plugins-ugly media-libs/vulkan-loader`
 
-## openSUSE { #dependencies-for-opensuse }
+### openSUSE { #dependencies-for-opensuse }
 
 <!-- https://search.opensuse.org/packages/ -->
 - `sudo zypper install libX11-devel libexpat-devel Mesa-libEGL-devel Mesa-libGL-devel cabextract cmake dbus-1-devel fontconfig-devel freetype-devel gcc-c++ git glib2-devel gperf harfbuzz-devel libXcursor-devel libXi-devel libXmu-devel libXrandr-devel libopenssl-devel rpm-build ccache llvm-clang libclang autoconf213 gstreamer-devel gstreamer-plugins-base-devel gstreamer-plugins-good gstreamer-plugins-bad-devel gstreamer-plugins-ugly vulkan-loader libvulkan1`
 
-## Void Linux { #dependencies-for-void-linux }
+### Void Linux { #dependencies-for-void-linux }
 
 <!-- https://voidlinux.org/packages/ -->
 <!-- see python/servo/platform/linux.py in servo for how to update this -->