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.

Sign up for GitHub

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

Jump to bottom

Upgrade sphinx for docs #2087

Closed

mvorisek wants to merge 1 commit into develop from upgrade_sphinx

Member

mvorisek commented Jul 18, 2023 •

edited

Loading

needs markstory/sphinxcontrib-phpdomain#48 (comment)


          Upgrade sphinx for docs

a4b1197

mvorisek force-pushed the upgrade_sphinx branch from 3c9b0a3 to a4b1197 Compare

July 27, 2023 21:46

mvorisek added the waitingForAnotherPR label

mvorisek mentioned this pull request

Allow domain objects to be excluded from index markstory/sphinxcontrib-phpdomain#67

Open

Member Author

mvorisek commented Sep 7, 2023

upstream feature request: markstory/sphinxcontrib-phpdomain#67

reopen/finish this PR once the upstream supports it

mvorisek closed this

mvorisek deleted the upgrade_sphinx branch

September 7, 2023 10:52

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

waitingForAnotherPR