Skip to content

Add documentation website #111

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 4 commits into from
Dec 18, 2020
Merged

Add documentation website #111

merged 4 commits into from
Dec 18, 2020

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Dec 16, 2020

A static website containing documentation is hosted on GitHub Pages. The source is the Markdown files stored in the
docs subfolder, as well as the CLI documentation generated by Cobra.

The documentation is versioned, so the user can access the documentation associated with:

  • The development version (tip of the default branch).
  • The latest release version.
  • Any specific release version.

Documentation website demo: https://per1234.github.io/arduino-lint/latest/

@per1234
Copy link
Contributor Author

per1234 commented Dec 16, 2020

This will currently cause the link check CI to fail due to this repo and the arduino/arduino-lint-action repo being private. So merging should probably wait. But it is in a finished state ready for review.

I will add the installation instructions and related links in a subsequent PR.

@per1234
Copy link
Contributor Author

per1234 commented Dec 17, 2020

The failure of the "Lint configuration files" workflow is expected and unrelated to the changes proposed in this PR. It will be fixed by #114

@per1234 per1234 force-pushed the per1234/docs branch 2 times, most recently from 0425586 to fba789e Compare December 17, 2020 12:50
A static website containing documentation is hosted on GitHub Pages. The source is the Markdown files stored in the
`docs` subfolder, as well as the CLI documentation generated by Cobra.

The documentation is versioned, so the user can access the documentation associated with:

- The development version (tip of the default branch).
- The latest release version.
- Any specific release version.
Python-Markdown extensions are used to provide additional capabilities to the documentation website generation. Because
Python-Markdown is extremely faithful to the original Markdown specification, despite the fact that the world has moved
on to a more capable implementation, some extensions are essential to provide the Markdown capability the documentation
editors will expect.

However, some additional extenstions were added to the Arduino CLI MkDocs configuration which
provide syntax not supported by any Markdown implementation, and which are not needed.

If we later find the pressing
need for such capability, we can add in the necessary extensions. Until then, having these extensions could result in
unexpected behavior.
This file is exclusive to the documentation, so there is no point in it being in the already crowded root of the repo.
Poetry is already in use for the integration testing code, so it makes sense to use it with all Python code in the
repository.
@per1234 per1234 marked this pull request as ready for review December 18, 2020 10:45
@per1234 per1234 merged commit 54e1502 into main Dec 18, 2020
@per1234 per1234 deleted the per1234/docs branch December 18, 2020 11:28
@per1234 per1234 added topic: documentation Related to documentation for the project topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement labels Sep 29, 2021
@per1234 per1234 self-assigned this Nov 20, 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 topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants