On Sun, Jul 20, 2014 at 7:25 PM, Andreas Cadhalpun <andreas.cadhal...@googlemail.com> wrote: > 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?
Since the style.min.css is generated from the ffmpeg-web repo, I don't think adding its full version to the ffmpeg main repo would be a good idea because it would make people want to edit it. If they edit the generated version, the source is not edited. The README in the ffmpeg-web repo explains how the CSS file for the documentation is generated and recommend to update it in the main repo as well. A good solution in my opinion would be to explain somewhere in the main repo (maybe as a commented line at the beginning of the css file?) that the style.min.css file is generated from the ffmpeg-web repo and any modification of it should be on the ffmpeg-web repo only (ie on the sources, not on the generated file). -- db0 - Deby Barbara Lepage http://db0.fr/ _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
