[FFmpeg-devel] [PATCH] web/style: Add a comment in the generated css file for the doc in the main repo

[Andreas Cadhalpun]

On 24.07.2014 08:06, db0company wrote:
> ---
>   README         |    2 +-
>   src/css_credit |    6 ++++++
>   2 files changed, 7 insertions(+), 1 deletions(-)
>   create mode 100644 src/css_credit
>
> diff --git a/README b/README
> index 93854ee..2276820 100644
> --- a/README
> +++ b/README
> @@ -29,7 +29,7 @@ To generate the documentation pages:
>
>   In case of a major CSS update, please also update the `style.min.css` file in
>   the main FFmpeg repo:
> -  $ cat /path/to/ffmpeg-web/htdocs/css/{bootstrap.min.css,style.min.css} > /path/to/ffmpeg/doc/style.min.css
> +  $ cat /path/to/ffmpeg-web/src/css_credit /path/to/ffmpeg-web/htdocs/css/{bootstrap.min.css,style.min.css} > /path/to/ffmpeg/doc/style.min.css
>
>
>   WEBSITE DEVELOPERS INSTRUCTIONS
> diff --git a/src/css_credit b/src/css_credit
> new file mode 100644
> index 0000000..27efb02
> --- /dev/null
> +++ b/src/css_credit
> @@ -0,0 +1,6 @@
> +/*
> + * This file has been generated from the website repo:
> + * git://ffmpeg.org/ffmpeg-web
> + * Any modification must be applied on the src/less/style.less source file first.
> + */
> +

It would be great, if you could also include copyright and license here.

Best regards,
Andreas