Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-11-15 | Fix several shellcheck warnings | Nick Mathewson | |
2023-11-11 | build_html: use mv, not cp | Nick Mathewson | |
This is a bit faster, and likelier to work on more shells. | |||
2023-11-09 | build_html: add some hints about build deps | Jim Newsome | |
2023-11-09 | reindex: escape brackets in markdown output | Jim Newsome | |
2023-11-09 | Reorganize output | Jim 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-09 | build_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-09 | Make 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-09 | Move mermaid server-side copying into its own script. | Nick Mathewson | |
2023-11-09 | CI: bump mermaid/npm CI tokens | Ian Jackson | |
This "clears the cache" of the things I did during hacking. | |||
2023-11-09 | CI: Pass --no-sandbox to puppeteer via mermaid-cli | Ian 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-09 | build system: Provide mermaid-cli-in-ci script | Ian Jackson | |
This is quite vexing. | |||
2023-11-09 | build system: Provide via-yarn-install-in-ci script | Ian Jackson | |
No call sites yet, but this can install npm packages in a way that's only mildly terrifying. | |||
2023-11-09 | Use mermaid-cli to generate SVG for our diagrams. | Nick Mathewson | |
2023-11-08 | check_links: print cross-reference | Jim Newsome | |
2023-11-08 | check_links: enable linklint local link checking | Jim Newsome | |
2023-11-07 | Move the permalinks to permalinks.md (code motion) | Ian Jackson | |
2023-11-07 | make_redirects: Rename the marker string variables | Ian 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-07 | Merge 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-07 | Copy maint/via-cargo-install-in-ci from arti.git | Ian Jackson | |
From arti.git#80ab4331642c8690aca9facd91d8022b23bcd189 | |||
2023-11-07 | permalink redirects: Do not linkify headings | Ian Jackson | |
On the website, these links are redundant, since they point to the same place. Everywhere else they are broken links. | |||
2023-11-07 | linklint: Add link checking script | Ian Jackson | |
2023-11-06 | Remove 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-06 | build_html.sh: Honour MDBOOK environment variable | Ian Jackson | |
This can makes it easier to run the build in unusual situations. | |||
2023-10-18 | Improve redirect URLs | Nick 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-18 | Do not add a redirect file when an index file already exists. | Nick Mathewson | |
2023-10-18 | Try to fix proposals redirects for md proposals | Nick Mathewson | |
2023-10-18 | No longer add needless redirects. | Nick Mathewson | |
2023-10-18 | Add html extensions to redirect files | Nick Mathewson | |
2023-10-18 | Give check_index a better path. | Nick Mathewson | |
2023-10-18 | Add "make_redirects" to build script. | Nick Mathewson | |
2023-10-18 | Add <meta> redircts from proposal number to proposal. | Nick Mathewson | |
2023-10-18 | Move all binaries to a "bin" directory. | Nick Mathewson | |