Manually change the most recent release on the homepage to 3.0.24 again

... so I can replace the file on the website before
the next release.

diff --git a/doc/webserver/index.html b/doc/webserver/index.html
index fd0f308..560bcd6 100644 (file)
--- a/doc/webserver/index.html
+++ b/doc/webserver/index.html
@@ -52,7 +52,7 @@
           </ul>
 
           <p>The most recent release is <a href="announce.txt" target=
-          "_top">3.0.25 (UNRELEASED)</a>.</p>
+          "_top">3.0.24 (stable)</a>.</p>
         </div>
       </div>
       <hr>