diff options
author | Matthäus G. Chajdas <dev@anteru.net> | 2021-12-29 16:39:03 +0100 |
---|---|---|
committer | Matthäus G. Chajdas <dev@anteru.net> | 2021-12-29 16:39:03 +0100 |
commit | 9775c281f77525e09be27aec67d3ef71da0247ad (patch) | |
tree | 2d042432f0e716e915e0ab78c24b847c33472c24 /doc/conf.py | |
parent | 5d2c2649ab60988eaa67d02c0e1eda25c2ec9d1d (diff) | |
download | pygments-git-9775c281f77525e09be27aec67d3ef71da0247ad.tar.gz |
Provide an accurate count instead of "over 500".
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index c217d659..70f60559 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -224,6 +224,7 @@ man_pages = [ # Example configuration for intersphinx: refer to the Python standard library. #intersphinx_mapping = {'http://docs.python.org/': None} +rst_prolog = '.. |language_count| replace:: {}'.format(len(list(pygments.lexers.get_all_lexers()))) def pg_context(app, pagename, templatename, ctx, event_arg): ctx['demo_active'] = bool(os.environ.get('WEBSITE_BUILD')) |