comparison scripts/update-copyrights.py @ 7242:476daae2a94c

style: generate pygments.css directly with pygmentize -a This avoids 'sed' post-processing of the generated css. pygments.css can thus be generated with: pygmentize -S default -f html -a .code-highlight > kallithea/public/css/pygments.css
author Mads Kiilerich <mads@kiilerich.com>
date Sun, 15 Apr 2018 22:41:02 +0200
parents 710b2eb8cc37
children b3289fef0daa
comparison
equal deleted inserted replaced
7241:bfb6a25ecbd5 7242:476daae2a94c