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

dox: Fix minor spell error reported by CI #1234

Merged
merged 1 commit into from
Jan 27, 2025
Merged

Conversation

dNechita
Copy link
Contributor

Error message: "Error: ./mainpage.dox:231: re-used ==> reused"

PR Description

Fix minor spelling error found by CI.

PR Type

  • Bug fix (a change that fixes an issue)
  • New feature (a change that adds new functionality)
  • Breaking change (a change that affects other repos or cause CIs to fail)

PR Checklist

  • I have conducted a self-review of my own code changes
  • I have commented new code, particulary complex or unclear areas
  • I have checked that I did not intoduced new warnings or errors (CI output)
  • I have checked that components that use libiio did not get broken
  • I have updated the documentation accordingly (GitHub Pages, READMEs, etc)

Error message: "Error: ./mainpage.dox:231: re-used ==> reused"

Signed-off-by: Dan Nechita <[email protected]>
@dNechita dNechita merged commit 32f9afa into main Jan 27, 2025
22 checks passed
@dNechita dNechita deleted the fix-spelling-error branch January 27, 2025 12:06
@rgetz
Copy link
Contributor

rgetz commented Jan 27, 2025

There is a typo in the commit message - it is doc, (short for documentation) not dox.

@dNechita
Copy link
Contributor Author

There is a typo in the commit message - it is doc, (short for documentation) not dox.

Actually, I took a look at the last 12 commits that had an impact on the mainpage.dox file to get a sense of the commit title style but there weren't 2 styles alike. I narrowed things down to having 'doc' or 'dox' as a prefix. I picked 'dox' thinking it's more specific, giving a hint that the commit modifies doxygen files.

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