diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-11-09 14:35:57 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-11-09 16:42:47 -0500 |
commit | 80d9a790797a423260e666bcfefe470c98f158c1 (patch) | |
tree | 66a25aec9ce843b0b978248e87f1d562f556ec61 /mdbook | |
parent | 4f7b0724464ef137b8e0c97e3bd406ff9ea875fa (diff) | |
download | torspec-80d9a790797a423260e666bcfefe470c98f158c1.tar.gz torspec-80d9a790797a423260e666bcfefe470c98f158c1.zip |
Clean up spec/book.html slightly.
Diffstat (limited to 'mdbook')
-rw-r--r-- | mdbook/spec/book.toml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/mdbook/spec/book.toml b/mdbook/spec/book.toml index 6cf1aad..5aee5dc 100644 --- a/mdbook/spec/book.toml +++ b/mdbook/spec/book.toml @@ -8,12 +8,10 @@ title = "Tor Specifications" [build] build-dir = "../../html" -# [preprocessor.pagetoc] +[preprocessor] [output.html] theme = "../theme" -# additional-css = ["theme/pagetoc.css"] -# additional-js = ["theme/pagetoc.js"] [output.html.redirect] |