aboutsummaryrefslogtreecommitdiff
path: root/bin/build_html
AgeCommit message (Expand)Author
2023-11-15Fix several shellcheck warningsNick Mathewson
2023-11-11build_html: use mv, not cpNick Mathewson
2023-11-09build_html: add some hints about build depsJim Newsome
2023-11-09Reorganize outputJim Newsome
2023-11-09build_html: use mdbook_mermaid when available.Nick Mathewson
2023-11-09Make mmdc optional.Nick Mathewson
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