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

2014-07-20 Thread Andreas Cadhalpun
On 20.07.2014 20:18, db0 company wrote: On Sun, Jul 20, 2014 at 7:25 PM, Andreas Cadhalpun 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 don

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

2014-07-20 Thread db0 company
On Sun, Jul 20, 2014 at 7:25 PM, Andreas Cadhalpun 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

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

2014-07-20 Thread 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 r

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

2014-07-20 Thread Timothy Gu
On Sun, Jul 20, 2014 at 10:02 AM, 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. > > ---8<--- > texi2html is deprecated by upstream i

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

2014-07-20 Thread Timothy Gu
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. ---8<--- texi2html is deprecated by upstream in favor of makeinfo/texi2any. See: - https://www.gnu.org/software