From: Andre Noll <maan@systemlinux.org>
Date: Wed, 4 Sep 2013 18:00:48 +0000 (+0000)
Subject: doc: Add man page of para_play to documentation web page.
X-Git-Tag: v0.5.1~18
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=e32d21f6e6dac1778ad90b283feb170fea4a2b11

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.
---

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>