mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
9a20927593
cf http://pygments.org/docs/lexers/#lexers-for-various-shells The difference with prior situation shows more in PDF output (but for Windows example visible already in html) than in HTML with used theme. I am not sure why ``select`` is highlighted but not ``sudo`` but this was case already before.