[MPlayer-dev-eng] Homepage DOCS needs update

[Reimar Döffinger]

On Sat, Sep 05, 2015 at 12:29:54PM +0200, Ingo Brückl wrote:
> Roberto Togni wrote on Fri, 4 Sep 2015 22:59:01 +0200:
> 
> > On Fri, 04 Sep 2015 12:00:39 +0200
> > Ingo Brückl <ib at wupperonline.de> wrote:
> 
> >> Someone please update http://mplayerhq.hu/DOCS/HTML/{en,de}.
> >>
> > Do you know how to do it?
> > I have access to the server, but I never did it before.
> 
> > Should I generate them locally and upload the html files, or is there
> > some script that I have to run on the server?
> 
> I have no idea. Reimar did it a few times. I heard there were cron jobs in
> the past, but if I had to guess I'd say that he updated manually.

There is a mplayer_docsgenerate.sh script.
It used to run on the server, but it has some dependencies
I am not too happy about having on the server, thus I run it locally
and rsync normally.