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

Andreas Cadhalpun andreas.cadhalpun at googlemail.com
Sun Jul 20 19:25:27 CEST 2014

On 20.07.2014 19:02, Timothy Gu wrote:
> Andreas,
>> Could somebody please add the source of the minified style.min.css?
> That is in the ffmpeg-web repo. All modifications to the CSS should be
> done there then backported here.

Ah, I see. But still, it would be nice to have the style.less in the 
release tarball, to be able to generate the minified version from it.
Why not add it with a comment at the beginning that it should only be 
modified in sync with the ffmpeg-web repo?

Best regards,

More information about the ffmpeg-devel mailing list