aboutsummaryrefslogtreecommitdiff
path: root/bin/make_redirects
AgeCommit message (Collapse)Author
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-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-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.