diff options
Diffstat (limited to 'book.toml')
-rw-r--r-- | book.toml | 5 |
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" |