Copyedit 04pause.html slightly

andk · Apr 25, 2024 · a0a7c5e · a0a7c5e
1 parent 4b6cfc2
commit a0a7c5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/htdocs/04pause.html b/htdocs/04pause.html
@@ -393,7 +393,7 @@ <h3><a id="developerreleases" name="developerreleases">Developer Releases</a></h
 two versions.</p>
 
 <p>If you want to do that simply choose a filename that matches
-<b><code>/\d\.\d+_\d/</code></b> or matches <b><code>-TRIAL[0-9]*</code></b>
+<b><code>/\d\.\d+_\d/</code></b> or <b><code>-TRIAL[0-9]*</code></b>
 before the file extension (example: <code>My-Dist-0.01-TRIAL.tar.gz</code>).
 Please choose a sequence that is easy to comprehend. People have adopted
 different conventions:</p>