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

Small fixes to new devicetree website #114

Merged
merged 3 commits into from
Oct 21, 2023
Merged

Conversation

glikely
Copy link
Member

@glikely glikely commented Oct 20, 2023

This makes a few small changes to the website:

  • Drops 96Boards links
  • Fixes capitalisation of Devicetree
  • Fixes formatting of releases

I'm not sure I've done the last change correctly to add a space between the word "Released" and the version tag. Please take a look and let me know if it needs to be done a different.

Devicetree is the preferred form instead of DeviceTree or Device Tree.

Signed-off-by: Grant Likely <grant.likely@linaro.org>
96Boards.ai is defunct, and we aren't really promoting 96Boards at the moment anyway. Drop the links.

Signed-off-by: Grant Likely <grant.likely@linaro.org>
Makes use of dateConvertor() for the latest release to make the display
nicer. Also adds a space between the word "Release" and the version tag.

Signed-off-by: Grant Likely <grant.likely@linaro.org>
Copy link
Member

@robherring robherring left a comment

Choose a reason for hiding this comment

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

LGTM though I know nothing about dateConverter()

@pcolmer
Copy link
Collaborator

pcolmer commented Oct 21, 2023

Thanks, @glikely and sincere apologies for all the mis-capitalisations!

@pcolmer pcolmer merged commit 3d35d7c into devicetree-org:main Oct 21, 2023
3 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.

3 participants