summary refs log tree commit diff
path: root/book.toml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--book.toml5
1 files changed, 4 insertions, 1 deletions
diff --git a/book.toml b/book.toml

index fa83d86ffc..ed3f6151e0 100644 --- a/book.toml +++ b/book.toml
@@ -36,4 +36,7 @@ additional-css = [ "docs/website_files/indent-section-headers.css", ] additional-js = ["docs/website_files/table-of-contents.js"] -theme = "docs/website_files/theme" \ No newline at end of file +theme = "docs/website_files/theme" + +[preprocessor.schema_versions] +command = "./scripts-dev/schema_versions.py"