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.

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

src/sage_docbuild/conf.py: Do not fail if pplpy doc is not installed #35536

Merged
merged 3 commits into from
May 22, 2023
Merged

src/sage_docbuild/conf.py: Do not fail if pplpy doc is not installed #35536

merged 3 commits into from
May 22, 2023

Commits on Apr 18, 2023

  1. src/sage_docbuild/conf.py: Do not fail if pplpy doc is not installed

    @mkoeppe
    mkoeppe committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    5188273 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2023

  1. Fall back to upstream url if PPLPY_DOCS is not good 

    Co-authored-by: Isuru Fernando <isuruf@gmail.com>
    @mkoeppe @isuruf
    mkoeppe and isuruf authored May 3, 2023
    Configuration menu
    Copy the full SHA
    312e4c5 View commit details
    Browse the repository at this point in the history

  2. src/sage_docbuild/conf.py: Define intersphinx_timeout so that remote … 

    …inventory fetch works
    @mkoeppe
    mkoeppe committed May 3, 2023
    Configuration menu
    Copy the full SHA
    4b7d3e3 View commit details
    Browse the repository at this point in the history