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

Clearly prefer root document over master document #13010

Closed
wants to merge 2 commits into from
Closed

Clearly prefer root document over master document #13010

wants to merge 2 commits into from
+25 −28

Commits on Oct 11, 2024

  1. Clearly prefer root document over master document 

    sphinx-doc#8326 renamed "master document" to "root document". Some places still used "master document" and sometimes both were described as equal.

This PR replaces all unnecessary uses of "master document" and, when both need mention, clearly states the preference for "root document". Using a consistent terminology should make the docs more understandable.
    @timhoffm
    timhoffm committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    53d6ad6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into doc-root-doc

    @timhoffm
    timhoffm authored Oct 11, 2024
    Configuration menu
    Copy the full SHA
    2de7cf2 View commit details
    Browse the repository at this point in the history