[FFmpeg-devel] [RFC] FFmpeg-web: mirror & missing files

[Timothy Gu]

On Aug 12, 2013 2:57 AM, "Thilo Borgmann" <thilo.borgmann at mail.de> wrote:
>
> Hi,
>
> a) it would be nice to also have a mirror on github for the FFmpeg-web
> repository for submitting pull-requests to the website. If it is not too
much
> effort...

Seconded

>
> b) it seems like at least the texi source for developer.html is missing
in the
> FFmpeg-web repository. I have not checked but maybe more files are
missing.

Check ffmpeg.git/doc

[...]