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

[Michael Niedermayer]

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.

done

[...]
-- 
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
Type: application/pgp-signature
Size: 181 bytes
Desc: Digital signature
URL: <https://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20140725/acf0e510/attachment.asc>