diff options
| author | Jeremy Maitin-Shepard <jbms@google.com> | 2023-02-14 21:26:10 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-15 05:26:10 +0000 |
| commit | 44684e165426470e8e8befa45e32d1b0b2f6302e (patch) | |
| tree | bc9f6c4980957e13d549cf99d61de20ef1c986db /doc/development/tutorials/examples/autodoc_intenum.py | |
| parent | cfd43d4dbeae7b1a8b5a001f31c93fc69aa813b2 (diff) | |
| download | sphinx-git-44684e165426470e8e8befa45e32d1b0b2f6302e.tar.gz | |
Restore correct parallel search index building (#11192)
Revert b32841e153431ec02de31e9ec32e79ab3ac7d1c2
to fix parallel search index building
The image-related changes were already reverted in
2a7c40d07f4b0e0fd2a4bc942e74634c2df24dee,
but the search index changes also need to be reverted.
It would be nice to support parallel search index building, but the
necessary support for merging the search indices produced by each
process needs to be added first.
Diffstat (limited to 'doc/development/tutorials/examples/autodoc_intenum.py')
0 files changed, 0 insertions, 0 deletions