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 | 7d88bffb38b6e92cd891451469030a0b310869ce (patch) | |
| tree | 138c34a9e672cc691e6a2bc68ff929767f830aca | |
| parent | 053c41fa754bb92e0a19f45e008c2cd62446de4d (diff) | |
| download | pygments-7d88bffb38b6e92cd891451469030a0b310869ce.tar.gz | |
Add license information to generated files (fixes #1496).
Also update the license year to 2019.
| -rw-r--r-- | CHANGES | 1 | ||||
| -rw-r--r-- | LICENSE | 2 | ||||
| -rw-r--r-- | pygments/formatters/html.py | 13 |
3 files changed, 13 insertions, 3 deletions
@@ -43,6 +43,7 @@ Version 2.4.0 - Add solarized style (PR#708) - Add support for Markdown reference-style links (PR#753) +- Add license information to generated HTML/CSS files (#1496) - Change ANSI color names (PR#777) - Fix catastrophic backtracking in the bash lexer (#1494) - Fix documentation failing to build using Sphinx 2.0 (#1501) @@ -1,4 +1,4 @@ -Copyright (c) 2006-2017 by the respective authors (see AUTHORS file). +Copyright (c) 2006-2019 by the respective authors (see AUTHORS file). All rights reserved. Redistribution and use in source and binary forms, with or without 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> |