Skip to content

Generate documentation before running link check #78

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

Merged
merged 2 commits into from
Jul 2, 2021
Merged

Generate documentation before running link check #78

merged 2 commits into from
Jul 2, 2021

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Jul 2, 2021

Some links may point to the generated documentation content, which would result in a failure of the link check.

It's true that these links are indeed broken when accessed outside the website, but the primary publishing location for
this content is the website. The alternative would be checking the generated content into the repository, but this would
either require some fairly complex automation or else a burden on the contributors to keep it synced.

@per1234 per1234 added the topic: documentation Related to documentation for the project label Jul 2, 2021
@per1234 per1234 requested review from silvanocerza and umbynos July 2, 2021 03:11
per1234 added 2 commits July 2, 2021 00:43
Some links may point to the generated documentation content, which would result in a failure of the link check.

It's true that these links are indeed broken when accessed outside the website, but the primary publishing location for
this content is the website. The alternative would be checking the generated content into the repository, but this would
either require some fairly complex automation or else a burden on the contributors to keep it synced.
It's important to use relative links so that the user's website version selection is retained.
@per1234 per1234 merged commit cae3857 into arduino:main Jul 2, 2021
@per1234 per1234 deleted the link-check-gen branch July 2, 2021 07:48
@per1234 per1234 self-assigned this Nov 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: documentation Related to documentation for the project
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants