aboutsummaryrefslogtreecommitdiff
path: root/bin/build_html
AgeCommit message (Collapse)Author
2023-11-15Fix several shellcheck warningsNick Mathewson
2023-11-11build_html: use mv, not cpNick Mathewson
This is a bit faster, and likelier to work on more shells.
2023-11-09build_html: add some hints about build depsJim Newsome
2023-11-09Reorganize outputJim Newsome
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.
2023-11-09build_html: use mdbook_mermaid when available.Nick Mathewson
This is much more convenient for folks who don't want to mess with the jenga tower that is mermaid-cli.
2023-11-09Make mmdc optional.Nick Mathewson
The build script now only uses mmdc and a temporary conditionally, and otherwise (for now) leaves mermaid blocks unformatted.
2023-11-09Move mermaid server-side copying into its own script.Nick Mathewson
2023-11-09Use mermaid-cli to generate SVG for our diagrams.Nick Mathewson
2023-11-06Remove language file extension from bin/*Ian Jackson
Putting ".sh" or ".py" on the end of scripts is an antipattern. It makes it inconvenient to change the implementation language. Change all call sites.