diff options
Diffstat (limited to '')
| -rw-r--r-- | book.toml | 12 |
1 files changed, 10 insertions, 2 deletions
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" |