From f852d47dc8dac4a27113f9497e7564d4fe2846fe Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Wed, 24 Jan 2024 22:40:28 +0000 Subject: [PATCH] Document how to update paper_titles.txt --- how-to-docs.html | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/how-to-docs.html b/how-to-docs.html index c29098ad19..cbccba9b47 100644 --- a/how-to-docs.html +++ b/how-to-docs.html @@ -106,6 +106,10 @@

Update meta-data

If you are happy with the deltas of the annex-f files, commit them to Git.

+

+To update the list of paper titles, run make new-papers +(this needs curl and python to be installed). +

Generate Issues Lists for a Mailing

We no longer include lists of issues, accepted/resolved issues, and rejected/closed issues in each mailing.