Document how to update paper_titles.txt

cplusplus · Jan 27, 2024 · f852d47 · f852d47
1 parent 7fbeb3c
commit f852d47
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/how-to-docs.html b/how-to-docs.html
@@ -106,6 +106,10 @@ <h2>Update meta-data</h2>
 </li>
 </ol>
 <p>If you are happy with the deltas of the <code>annex-f</code> files, commit them to Git.</p>
+<p>
+To update the list of paper titles, run <code> make new-papers </code>
+(this needs <code>curl</code> and <code>python</code> to be installed).
+</p>
 
 <h2>Generate Issues Lists for a Mailing</h2>
 <p>We no longer include lists of issues, accepted/resolved issues, and rejected/closed issues in each mailing.