diff options
author | Jim Newsome <jnewsome@torproject.org> | 2023-11-09 18:23:30 -0600 |
---|---|---|
committer | Jim Newsome <jnewsome@torproject.org> | 2023-11-09 18:45:20 -0600 |
commit | 72722037eed69e1a05d204c62ed9629f5b571b85 (patch) | |
tree | 135871a7b4049be1d87741f72259f96f82170e24 /mdbook/spec | |
parent | 1eef207b51ddbb92c2bc4a02ae7b46929583355b (diff) | |
download | torspec-72722037eed69e1a05d204c62ed9629f5b571b85.tar.gz torspec-72722037eed69e1a05d204c62ed9629f5b571b85.zip |
Reorganize output
Adding an additional output plugin to mdbook causes it to create an
extra level of subdirectories in its build directory; one for each
output plugin.
We add an intermediate build directory `build`, and after building the
individual mdbooks, construct the `html` directory with the desired
layout.
Diffstat (limited to 'mdbook/spec')
-rw-r--r-- | mdbook/spec/book.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mdbook/spec/book.toml b/mdbook/spec/book.toml index 58dc503..16668c9 100644 --- a/mdbook/spec/book.toml +++ b/mdbook/spec/book.toml @@ -6,7 +6,7 @@ src = "../../spec" title = "Tor Specifications" [build] -build-dir = "../../html" +build-dir = "../../build/spec" [preprocessor] |