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

doc: Add workaround for Read The Docs #47

Merged
merged 1 commit into from
Nov 7, 2023
Merged

Conversation

tiran
Copy link

@tiran tiran commented Nov 1, 2023

RTD now wants an index.html file in the root. Our docs use contents.html as entry point. Our RTD configuration has page redirects in place:

  • / -> /contents.html
  • /index.html -> /contents.html

Add a dummy index.rst to make RTD happy. The page is hidden in the TOC and just links to start of contents.html in the root.

RTD now wants an `index.html` file in the root. Otherwise RTD considers
the docs broken. Our docs use `contents.html` as entry point. Our RTD
configuration has page redirects in place:

- `/` -> `/contents.html`
- `/index.html` -> `/contents.html`

Add a dummy `index.rst` to make RTD happy. The page is hidden in the TOC
and just links to start of `contents.html` in the root. The trick ensures
that references in 3rd party documentations and search machine indexes
are kept happy.

Signed-off-by: Christian Heimes <cheimes@redhat.com>
@tiran tiran marked this pull request as ready for review November 1, 2023 10:13
Copy link

@droideck droideck left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@droideck droideck merged commit 942aa09 into pyasn1:main Nov 7, 2023
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants