[FFmpeg-devel] [PATCH] Use makeinfo to generate html doc for the new website

Timothy Gu timothygu99 at gmail.com
Sat Aug 23 20:50:42 CEST 2014


On Aug 23, 2014 9:52 AM, "Michael Niedermayer" <michaelni at 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.


More information about the ffmpeg-devel mailing list