aboutsummaryrefslogtreecommitdiff
path: root/bin
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-09reindex: escape brackets in markdown outputJim 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-09CI: bump mermaid/npm CI tokensIan Jackson
This "clears the cache" of the things I did during hacking.
2023-11-09CI: Pass --no-sandbox to puppeteer via mermaid-cliIan Jackson
CI jobs run as root. chrome hates that. See https://github.com/mermaid-js/mermaid-cli/blob/HEAD/docs/linux-sandbox-issue.md
2023-11-09build system: Provide mermaid-cli-in-ci scriptIan Jackson
This is quite vexing.
2023-11-09build system: Provide via-yarn-install-in-ci scriptIan Jackson
No call sites yet, but this can install npm packages in a way that's only mildly terrifying.
2023-11-09Use mermaid-cli to generate SVG for our diagrams.Nick Mathewson
2023-11-08check_links: print cross-referenceJim Newsome
2023-11-08check_links: enable linklint local link checkingJim Newsome
2023-11-07Move the permalinks to permalinks.md (code motion)Ian Jackson
2023-11-07make_redirects: Rename the marker string variablesIan Jackson
We're going to use these for a non-README file. What they really are is comments in HTML format, so use that for the name.
2023-11-07Merge branch 'linklint' into 'main'Nick Mathewson
Fix broken links and check in CI that we don't introduce new ones Closes #238 See merge request tpo/core/torspec!194
2023-11-07Copy maint/via-cargo-install-in-ci from arti.gitIan Jackson
From arti.git#80ab4331642c8690aca9facd91d8022b23bcd189
2023-11-07permalink redirects: Do not linkify headingsIan Jackson
On the website, these links are redundant, since they point to the same place. Everywhere else they are broken links.
2023-11-07linklint: Add link checking scriptIan Jackson
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.
2023-11-06build_html.sh: Honour MDBOOK environment variableIan Jackson
This can makes it easier to run the build in unusual situations.
2023-10-18Improve redirect URLsNick Mathewson
For those that are already correct, list the correct URL on the main site, and mark them as "implicit" so we can double-check them. For those that remain, remove all old links to gitweb.tpo, and link to gitlab.tpo instead.
2023-10-18Do not add a redirect file when an index file already exists.Nick Mathewson
2023-10-18Try to fix proposals redirects for md proposalsNick Mathewson
2023-10-18No longer add needless redirects.Nick Mathewson
2023-10-18Add html extensions to redirect filesNick Mathewson
2023-10-18Give check_index a better path.Nick Mathewson
2023-10-18Add "make_redirects" to build script.Nick Mathewson
2023-10-18Add <meta> redircts from proposal number to proposal.Nick Mathewson
2023-10-18Move all binaries to a "bin" directory.Nick Mathewson