Age | Commit message (Expand) | Author |
---|---|---|
2023-11-15 | Fix several shellcheck warnings | Nick Mathewson |
2023-11-11 | build_html: use mv, not cp | Nick Mathewson |
2023-11-09 | build_html: add some hints about build deps | Jim Newsome |
2023-11-09 | Reorganize output | Jim Newsome |
2023-11-09 | build_html: use mdbook_mermaid when available. | Nick Mathewson |
2023-11-09 | Make mmdc optional. | Nick Mathewson |
2023-11-09 | Move mermaid server-side copying into its own script. | Nick Mathewson |
2023-11-09 | Use mermaid-cli to generate SVG for our diagrams. | Nick Mathewson |
2023-11-06 | Remove language file extension from bin/* | Ian Jackson |