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

Feature 1727 sphinx7 #1728

Merged
merged 5 commits into from
Nov 28, 2023
Merged

Feature 1727 sphinx7 #1728

merged 5 commits into from
Nov 28, 2023

Commits on Nov 8, 2023

  1. Fic sphinx doc build for recent python versions.

    @mbjones
    mbjones committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    8a77b8e View commit details
    Browse the repository at this point in the history

  2. Upgrade to sphinx 7.x 

    Also include mermaid extension, and fix deprecated `style` key in layout.
    @mbjones
    mbjones committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    8183eb7 View commit details
    Browse the repository at this point in the history

  3. Remove mermaid from build for now.

    @mbjones
    mbjones committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    a896053 View commit details
    Browse the repository at this point in the history

  4. Update generated images.

    @mbjones
    mbjones committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    42c8ead View commit details
    Browse the repository at this point in the history

  5. Update comment on sphinx reqs in build.xml file.

    @mbjones
    mbjones committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    f5a9f39 View commit details
    Browse the repository at this point in the history