File tree 1 file changed +14
-0
lines changed
1 file changed +14
-0
lines changed Original file line number Diff line number Diff line change @@ -18,3 +18,17 @@ Currently, we keep a single folder per major release.
18
18
See ` scripts/postversion.sh ` for details on the exact process, as it changes over time.
19
19
20
20
The release is packaged, tagged and pushed to GitHub. GitHub Pages will build a new site in a few minutes, and replace the old one.
21
+
22
+ ## Verifying links
23
+
24
+ This has yet to be automated (requires some Rubys setup), but you can use the Makefile target ` check-links ` to verify internal
25
+ and external links, which were all verified per March 2025.
26
+
27
+ ``` bash
28
+ git checkout releases
29
+ make install
30
+ make build
31
+ make check-links
32
+ ```
33
+
34
+ You might need to fiddle a bit around with locally merging in changes from whatever branch you are on to check those changes, but it's quite doable.
You can’t perform that action at this time.
0 commit comments