doc: Add man page of para_play to documentation web page.
authorAndre Noll <maan@systemlinux.org>
Wed, 4 Sep 2013 18:00:48 +0000 (18:00 +0000)
committerAndre Noll <maan@systemlinux.org>
Wed, 11 Sep 2013 22:19:49 +0000 (22:19 +0000)
commite32d21f6e6dac1778ad90b283feb170fea4a2b11
tree4195faa3dd5f60f4da9ed7bfa78aedfd02dcb49f
parentf5203086aecc7a1b63df57829fb07be92b1c205d
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