Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: update to sphinx 5.1 #565

Merged
merged 23 commits into from
Jul 26, 2022
Merged

docs: update to sphinx 5.1 #565

merged 23 commits into from
Jul 26, 2022

Commits on Jun 13, 2022

  1. Configuration menu
    Copy the full SHA
    1816c52 View commit details
    Browse the repository at this point in the history
  2. fix: remove patched searchtools.js

    now included upstream: sphinx-doc/sphinx@262240d
    shiftinv authored and onerandomusername committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    b8d7752 View commit details
    Browse the repository at this point in the history
  3. fix: replace jquery operations with vanilla js

    jquery and _.js will be removed in sphinx 6.0
    shiftinv authored and onerandomusername committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    70e3719 View commit details
    Browse the repository at this point in the history
  4. fix: re-enable / search shortcut

    contrary to the docs, this is not true by default
    shiftinv authored and onerandomusername committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    59c14c0 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    a097f33 View commit details
    Browse the repository at this point in the history
  6. chore: update search scorer

    `result` has 6 elements, not 5. Doesn't matter at runtime, but might as well do it right
    shiftinv committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    bacdf85 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2022

  1. Configuration menu
    Copy the full SHA
    df3d721 View commit details
    Browse the repository at this point in the history
  2. deps: update sphinx to 5.0.2

    shiftinv committed Jun 25, 2022
    Configuration menu
    Copy the full SHA
    c93a1a9 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    682c96f View commit details
    Browse the repository at this point in the history
  4. fix: apply searchtools patch

    shiftinv committed Jun 25, 2022
    Configuration menu
    Copy the full SHA
    384f4e2 View commit details
    Browse the repository at this point in the history
  5. revert: "fix: use correct search summary css selector"

    This reverts commit a097f33.
    
    no longer necessary with fixed searchtools.js
    shiftinv committed Jun 25, 2022
    Configuration menu
    Copy the full SHA
    f95c7ca View commit details
    Browse the repository at this point in the history
  6. fix: fix custom search scorer

    Since sphinx no longer uses jQuery's `ready`, we'd be racing two `DOMContentLoaded`
    events, with sphinx's listener always firing first and invoking the search scorer
    without us having set a `pattern`.
    Instead, we now initialize `pattern` when we need it instead of assuming that
    it was set already.
    shiftinv committed Jun 25, 2022
    Configuration menu
    Copy the full SHA
    4f5489e View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b816828 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2022

  1. Configuration menu
    Copy the full SHA
    680ff46 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    319a50b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    4ad4639 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    3f21e63 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    0fc40e6 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2022

  1. Configuration menu
    Copy the full SHA
    15535dc View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0f14d8d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    65d5e0b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    f906f16 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    2e82412 View commit details
    Browse the repository at this point in the history