aboutsummaryrefslogtreecommitdiff
path: root/bin
AgeCommit message (Expand)Author
2023-11-07Move the permalinks to permalinks.md (code motion)Ian Jackson
2023-11-07make_redirects: Rename the marker string variablesIan Jackson
2023-11-07Merge branch 'linklint' into 'main'Nick Mathewson
2023-11-07Copy maint/via-cargo-install-in-ci from arti.gitIan Jackson
2023-11-07permalink redirects: Do not linkify headingsIan Jackson
2023-11-07linklint: Add link checking scriptIan Jackson
2023-11-06Remove language file extension from bin/*Ian Jackson
2023-11-06build_html.sh: Honour MDBOOK environment variableIan Jackson
2023-10-18Improve redirect URLsNick Mathewson
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