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

[Andreas Cadhalpun]

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,
Andreas