chore: update mdbook version + clean up and update github actions

.github/workflows/gh-pages.yml

@@ -2,16 +2,17 @@ name: github pages
 
 on:
   push:
+  workflow_dispatch:
 
 # Lookup compatible version numbers at: https://github.com/lzanini/mdbook-katex/releases
 env:
-  mdbook-version: '0.4.37'
-  katex-version: '0.5.9'
+  mdbook-version: '0.4.40'
+  katex-version: '0.9.0'
   linkcheck-version: '0.7.7'
 
 jobs:
   deploy:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     concurrency:
       group: ${{ github.workflow }}-${{ github.ref }}
     steps:

README.md

@@ -5,8 +5,8 @@
 Install mdbook and mdbook-katex
 
 ```bash
-cargo install mdbook --version 0.4.37
-cargo install mdbook-katex --version 0.7.0
+cargo install mdbook --version 0.4.40
+cargo install mdbook-katex --version 0.9.0
 cargo install mdbook-linkcheck
 ```
 

theme/update_theme.rs

@@ -1,8 +1,8 @@
 #!/usr/bin/env cargo +nightly -Zscript
-```cargo
+---
 [dependencies]
 reqwest = { version = "0.11", features = ["blocking"] }
-```
+---
 
 // This script fetches the 'index.hbs' file from the mdBook repository and filters the
 // content to only present the 'ayu' theme.
@@ -11,7 +11,7 @@ use reqwest::blocking;
 use std::fs::File;
 use std::io::{self, Write};
 
-const MDBOOK_VERSION: &str = "0.4.37";
+const MDBOOK_VERSION: &str = "0.4.40";
 
 fn main() -> io::Result<()> {
     let url = format!(