diff --git a/htdocs/04pause.html b/htdocs/04pause.html index 83d452a19..35aa60f9d 100644 --- a/htdocs/04pause.html +++ b/htdocs/04pause.html @@ -393,7 +393,7 @@

Developer Releases

If you want to do that simply choose a filename that matches -/\d\.\d+_\d/ or matches -TRIAL[0-9]* +/\d\.\d+_\d/ or -TRIAL[0-9]* before the file extension (example: My-Dist-0.01-TRIAL.tar.gz). Please choose a sequence that is easy to comprehend. People have adopted different conventions: