From faad2cb136799a88b4fda18b08ef9780e1e4d65a Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 7 Nov 2021 16:42:50 +0100
Subject: [PATCH] web: Add link to the para_upgrade_db(1) man page.

Of course this should have been done in the commit which added the
new executable.

Fixes: 56e54c8c75d59a8e5072451941aa56c727d99d26
---
 web/documentation.in.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/documentation.in.html b/web/documentation.in.html
index d6d690a1..e863e7b9 100644
--- a/web/documentation.in.html
+++ b/web/documentation.in.html
@@ -25,6 +25,7 @@
 	[<a href="para_gui.man.html">para_gui</a>]
 	[<a href="para_mixer.man.html">para_mixere</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>
-- 
2.39.2