diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2024-02-05 15:28:25 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2024-02-05 19:01:36 +0000 |
commit | fb5ebe5ebde557dc4ec9387dd28243e5da8f463d (patch) | |
tree | 37b4a05c4afea8b8b6d8dd83a2909791c51d93cf | |
parent | 83c29b0d805f908e98ed1742491f3145f547fb2e (diff) | |
download | arti-fb5ebe5ebde557dc4ec9387dd28243e5da8f463d.tar.gz arti-fb5ebe5ebde557dc4ec9387dd28243e5da8f463d.zip |
doc/Release.md: Discuss maint/gen_md_links a bit more
-rw-r--r-- | doc/dev/Release.md | 5 |
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. |