Martin Geisler a9ca0c860a Install specific mdbook version in build action ... Like in #30, we should install a known-good version of `mdbook` and `mdbook-svgbob` when testing PRs.		2022-12-23 12:42:55 +01:00
..
build.yml	Install specific mdbook version in build action	2022-12-23 12:42:55 +01:00
publish.yml	Include version numbers when installing mdbook	2022-12-22 15:01:55 +01:00