diff options
| author | Matth?us G. Chajdas <dev@anteru.net> | 2019-05-07 21:05:53 +0200 |
|---|---|---|
| committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-05-07 21:05:53 +0200 |
| commit | c9613db7aa462be9413f67e626211adb868f9a7d (patch) | |
| tree | f6c05165be95279a9baa3cc4b4505a9d43db37ee /pygments/formatters | |
| parent | 6e2be15fd4db50f0487db8dfa9540909d90e2585 (diff) | |
| download | pygments-git-c9613db7aa462be9413f67e626211adb868f9a7d.tar.gz | |
Add license information to generated files (fixes #1496).
Also update the license year to 2019.
Diffstat (limited to 'pygments/formatters')
| -rw-r--r-- | pygments/formatters/html.py | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/pygments/formatters/html.py b/pygments/formatters/html.py index 1ebfafcb..99ab837c 100644 --- a/pygments/formatters/html.py +++ b/pygments/formatters/html.py @@ -5,7 +5,7 @@ Formatter for HTML output. - :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. + :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ @@ -55,6 +55,11 @@ def _get_ttype_class(ttype): CSSFILE_TEMPLATE = '''\ +/* +generated by Pygments <http://pygments.org> +Copyright 2006-2019 by the Pygments team. +Licensed under the BSD license, see LICENSE for details. +*/ td.linenos { background-color: #f0f0f0; padding-right: 10px; } span.lineno { background-color: #f0f0f0; padding: 0 5px 0 5px; } pre { line-height: 125%%; } @@ -64,7 +69,11 @@ pre { line-height: 125%%; } DOC_HEADER = '''\ <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> - +<!-- +generated by Pygments <http://pygments.org> +Copyright 2006-2019 by the Pygments team. +Licensed under the BSD license, see LICENSE for details. +--> <html> <head> <title>%(title)s</title> |