Source: pygments Version: 2.3.1+dfsg-1 Severity: wishlist Dear Maintainer,
I'm packaging a program_ that uses a css generated_ from pygmentize as packaged (for pip) by xstatic-pygments. .. _program: http://bugs.debian.org/950721 .. _generated: https://github.com/xstatic-py/xstatic-pygments/blob/master/genstyles.sh I'm already patching the program to use debian packaged versions of other js/css resources, and I'm wondering about the best way to deal with this file. I wonder if it's worth generating them inside the pygments package and having them in /usr/share/javascript/pygments (I guess having just css in there is fine?) for other packages to use. If you don't think it is, I can just generate the one I need inside my package and be done with it, but I'm first trying to understand which one would be the cleaner solution. Thanks
