From e32d21f6e6dac1778ad90b283feb170fea4a2b11 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@systemlinux.org>
Date: Wed, 4 Sep 2013 18:00:48 +0000
Subject: [PATCH] doc: Add man page of para_play to documentation web page.

In December 2012 para_play was merged to master but we missed to
update the web page accordingly.
---
 web/documentation.in.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/documentation.in.html b/web/documentation.in.html
index 4d63a08f..f292af25 100644
--- a/web/documentation.in.html
+++ b/web/documentation.in.html
@@ -30,6 +30,7 @@
 	[<a href="para_write.man.html">para_write</a>]
 	[<a href="para_gui.man.html">para_gui</a>]
 	[<a href="para_fade.man.html">para_fade</a>]
+	[<a href="para_play.man.html">para_play</a>]
 </p>
 
 <h2> Source code documentation </h2>
-- 
2.39.5