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

Rename "Users guide" everywhere by "User Guide" #81

Open
jonquet opened this issue Jan 7, 2025 · 1 comment
Open

Rename "Users guide" everywhere by "User Guide" #81

jonquet opened this issue Jan 7, 2025 · 1 comment
Assignees
Labels
documentation Improvements or additions to documentation

Comments

@jonquet
Copy link
Collaborator

jonquet commented Jan 7, 2025

I don't really know how we end up with "users guide" which is not really gramitacally correct.
Plus the capital letter is missing and its niot consistent with the other Guide name.
Capture d’écran 2025-01-07 à 08 31 07

I suggest to change the title to "User Guide". I don't do it as it touches 278 references in the whole project.

@jonquet jonquet added the documentation Improvements or additions to documentation label Jan 7, 2025
@graybeal
Copy link
Collaborator

graybeal commented Jan 7, 2025

No more grammatically incorrect than User Guide. But I agree that uniformity and camel case are both worthy improvements, and people are more used to User Guide.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

No branches or pull requests

3 participants