Hi, On Aug 23, 2014 9:52 AM, "Michael Niedermayer" <michae...@gmx.at> wrote: > > On Sat, Aug 23, 2014 at 03:13:50PM +0200, Andreas Cadhalpun wrote:
> > Is there a reason, why this patch hasn't been applied? > > the makeinfo available on our webserver is too old (4.13) > a newer version (provided by timothy), did not work > if someone wants to work on this, i can give him/her an account It doesn't matter, as the server doesn't use the modified Makefile IIRC. This only makes the users' documentation better at this moment. I still want to work on server integration, but my time is limited. Timothy _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
