diff options
Diffstat (limited to 'docs/book.toml')
| -rw-r--r-- | docs/book.toml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/book.toml b/docs/book.toml index a9abb5f1..53d3723f 100644 --- a/docs/book.toml +++ b/docs/book.toml @@ -16,9 +16,10 @@ additional-js = ["theme/pagetoc.js"] [preprocessor.indexing] -[preprocessor.footnote] -[preprocessor.inline-highlighting] +# [preprocessor.inline-highlighting] # default-language = "c" +[preprocessor.footnote] + [preprocessor.pagetoc] |