[FFmpeg-devel] [PATCH] Use makeinfo to generate html doc for the new website
michaelni at gmx.at
Fri Jul 25 01:20:25 CEST 2014
On Thu, Jul 24, 2014 at 01:17:23PM -0700, Timothy Gu wrote:
> The cons:
> - Anchor names are changed.
are there any linkes that use these anchors ?
> > also applying this patchset will not affect how our server
> > generates the html, as it does not execute files from git.
> > If its intended to also change what the server does, this would need
> > some volunteer to update the scripts used.
> OK. You can send me privately the server scripts and I'll see what I can do.
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
Let us carefully observe those good qualities wherein our enemies excel us
and endeavor to excel them, by avoiding what is faulty, and imitating what
is excellent in them. -- Plutarch
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 181 bytes
Desc: Digital signature
More information about the ffmpeg-devel