diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-10-23 00:11:44 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-10-27 02:05:33 +0900 |
| commit | 32763520a369b2c137be5e9b7440b42c28e65fef (patch) | |
| tree | dbc30157b17ffb0314380c6daedca192932c5eb6 /sphinx/config.py | |
| parent | ec8d41b23780f4cb7302ab5f012a607d238db3d5 (diff) | |
| download | sphinx-git-32763520a369b2c137be5e9b7440b42c28e65fef.tar.gz | |
Close #1331: Change default User-Agent header
Diffstat (limited to 'sphinx/config.py')
| -rw-r--r-- | sphinx/config.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/config.py b/sphinx/config.py index 5ba2c2a3d..d8cce1b3d 100644 --- a/sphinx/config.py +++ b/sphinx/config.py @@ -148,6 +148,7 @@ class Config: 'math_numfig': (True, 'env', []), 'tls_verify': (True, 'env', []), 'tls_cacerts': (None, 'env', []), + 'user_agent': (None, 'env', [str]), 'smartquotes': (True, 'env', []), 'smartquotes_action': ('qDe', 'env', []), 'smartquotes_excludes': ({'languages': ['ja'], |