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

doc: create documentation for GUI #141

Merged
merged 3 commits into from
Aug 2, 2024
Merged

doc: create documentation for GUI #141

merged 3 commits into from
Aug 2, 2024

Conversation

samarth8392
Copy link
Contributor

@samarth8392 samarth8392 commented Aug 2, 2024

Changes

  • Added GUI instructions under "Graphical Interface" tab on the documentation website.
  • Renames "Usage" to "Command Line" on the documentation website.
  • Removed betterem extension from mkdocs.yml file for better rendering of the website.

Issues

Resolves #38

PR Checklist

(Strikethrough any points that are not applicable.)

  • This comment contains a description of changes with justifications, with any relevant issues linked.
  • [ ] Update docs if there are any API changes.
  • Update CHANGELOG.md with a short description of any user-facing changes and reference the PR number. Guidelines: https://keepachangelog.com/en/1.1.0/

@kelly-sovacool
Copy link
Member

FYI I added the phrase Resolves #38 so this PR will close that issue when it's merged

@kelly-sovacool kelly-sovacool merged commit 2874ab3 into main Aug 2, 2024
2 checks passed
@kelly-sovacool kelly-sovacool deleted the gui-doc branch August 2, 2024 22:45
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.

doc: create documentation for GUI
2 participants