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 /proposals/339-udp-over-tor.md | |
| 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 'proposals/339-udp-over-tor.md')
0 files changed, 0 insertions, 0 deletions