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 /.gitignore | |
| 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 '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -12,7 +12,10 @@ # OS X folder cruft .DS_Store -# mdbook outputs +# mdbook build dir +/build + +# generated html (reorganized from the build dir) /html # bin/check_links output |