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

[Thilo Borgmann]

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

Found, thanks for the hint!

-Thilo