diff options
| author | Martin Liška <mliska@suse.cz> | 2022-09-09 03:28:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-09 02:28:29 +0100 |
| commit | 7da60f23539bd5d1a79bdbcf67cd5164311182b7 (patch) | |
| tree | f59a7968c39d621647790c8e95c6d28ed80109ef /sphinx/environment | |
| parent | 7473b05e0d7142ccd6196b2fd61a4f6c9dc21fbc (diff) | |
| download | sphinx-git-7da60f23539bd5d1a79bdbcf67cd5164311182b7.tar.gz | |
search: support searching for (sub)titles (#10717)
Co-authored-by: Adam Turner <9087854+aa-turner@users.noreply.github.com>
Diffstat (limited to 'sphinx/environment')
| -rw-r--r-- | sphinx/environment/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/environment/__init__.py b/sphinx/environment/__init__.py index 430e03358..1a1dd755f 100644 --- a/sphinx/environment/__init__.py +++ b/sphinx/environment/__init__.py @@ -59,7 +59,7 @@ if docutils.__version_info__[:2] <= (0, 17): # This is increased every time an environment attribute is added # or changed to properly invalidate pickle files. -ENV_VERSION = 56 +ENV_VERSION = 57 # config status CONFIG_OK = 1 |