Re: [FFmpeg-devel] [PATCH 1/3] web: Remove all comments in the cleaned CSS

2014-11-18 Thread Michael Niedermayer
On Sun, Nov 16, 2014 at 08:12:55PM +0100, Michael Niedermayer wrote: > On Sat, Nov 15, 2014 at 09:26:08PM -0800, Timothy Gu wrote: > > http://ffmpeg.org/css/style.min.css and the copy in ffmpeg/doc are both > > generated using this option. > > > > Signed-off-by: Timothy Gu > > --- > > Makefile |

Re: [FFmpeg-devel] [PATCH 1/3] web: Remove all comments in the cleaned CSS

2014-11-16 Thread Michael Niedermayer
On Sat, Nov 15, 2014 at 09:26:08PM -0800, Timothy Gu wrote: > http://ffmpeg.org/css/style.min.css and the copy in ffmpeg/doc are both > generated using this option. > > Signed-off-by: Timothy Gu > --- > Makefile | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) applied thanks [...] --

[FFmpeg-devel] [PATCH 1/3] web: Remove all comments in the cleaned CSS

2014-11-15 Thread Timothy Gu
http://ffmpeg.org/css/style.min.css and the copy in ffmpeg/doc are both generated using this option. Signed-off-by: Timothy Gu --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f13a36f..506a17f 100644 --- a/Makefile +++ b/Makefile @@ -11,7