From 4fea76c75c94cf2d4cf44efc3bc10549ee0f05ab Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 19 May 2025 22:01:36 +0200
Subject: Remove para_upgrade_db.

It is no longer needed since everybody should have upgraded by now, and it
blocks the road towards the removal of sha1.
---
 web/documentation.in.html | 1 -
 1 file changed, 1 deletion(-)

(limited to 'web')

diff --git a/web/documentation.in.html b/web/documentation.in.html
index 32efe9c3..15255e0d 100644
--- a/web/documentation.in.html
+++ b/web/documentation.in.html
@@ -25,7 +25,6 @@
 	[<a href="para_gui.man.html">para_gui</a>]
 	[<a href="para_mixer.man.html">para_mixer</a>]
 	[<a href="para_play.man.html">para_play</a>]
-	[<a href="para_upgrade_db.man.html">para_upgrade_db</a>]
 </p>
 
 <h2> Source code documentation </h2>
-- 
cgit v1.2.3