aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2024-02-05 15:28:25 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2024-02-05 19:01:36 +0000
commitfb5ebe5ebde557dc4ec9387dd28243e5da8f463d (patch)
tree37b4a05c4afea8b8b6d8dd83a2909791c51d93cf
parent83c29b0d805f908e98ed1742491f3145f547fb2e (diff)
downloadarti-fb5ebe5ebde557dc4ec9387dd28243e5da8f463d.tar.gz
arti-fb5ebe5ebde557dc4ec9387dd28243e5da8f463d.zip
doc/Release.md: Discuss maint/gen_md_links a bit more
-rw-r--r--doc/dev/Release.md5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/dev/Release.md b/doc/dev/Release.md
index 1539a787e..38e4428ee 100644
--- a/doc/dev/Release.md
+++ b/doc/dev/Release.md
@@ -94,6 +94,11 @@ release?" above.
When the changelog is done, pipe it into
`maint/gen_md_links` to auto-generate markdown links
to our gitlab repositories.
+ (Note you need to feed `maint/gen_md_links` only the
+ *new* part of the changelog, since it doesn't
+ remove from its output links that are already defined;
+ and then of course it will report some missing links
+ that are indeed defined elsewhere.)
Then, fill in the URLs for any links that the script
couldn't find.