From fd5cad8a4f74073c0c0bea9e2ba81e9c7ef49370 Mon Sep 17 00:00:00 2001 From: Action Bot Date: Mon, 11 Dec 2023 14:52:50 +0000 Subject: Version picker added for v1.40 docs --- book.toml | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'book.toml') diff --git a/book.toml b/book.toml index fa83d86ffc..977a8450bc 100644 --- a/book.toml +++ b/book.toml @@ -34,6 +34,14 @@ additional-css = [ "docs/website_files/table-of-contents.css", "docs/website_files/remove-nav-buttons.css", "docs/website_files/indent-section-headers.css", + "docs/website_files/version-picker.css", ] -additional-js = ["docs/website_files/table-of-contents.js"] -theme = "docs/website_files/theme" \ No newline at end of file +additional-js = [ + "docs/website_files/table-of-contents.js", + "docs/website_files/version-picker.js", + "docs/website_files/version.js", +] +theme = "docs/website_files/theme" + +[preprocessor.schema_versions] +command = "./scripts-dev/schema_versions.py" -- cgit 1.4.1