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

diff --git a/web/documentation.in.html b/web/documentation.in.html
index d6d690a16bd5299a6fdb8d304cfe48fc13dbc6c3..e863e7b9faa45c4a895355377694c493d5512e5d 100644 (file)
--- 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>