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

Add docs about editing docs #380

Merged
merged 4 commits into from
Jul 1, 2024
Merged

Add docs about editing docs #380

merged 4 commits into from
Jul 1, 2024

Conversation

ashiklom
Copy link
Collaborator

Add some documentation about how to edit the documentation and how to preview the documentation locally.

FIX pixi build -> pixi setup in docs

Remove pixi; just use python http server for docs
@Dooruk
Copy link
Collaborator

Dooruk commented Jul 1, 2024

It is probably obvious for everybody else but can I add a note in the doc to "run it on your local machine and not on the HPC" for geniuses like me?

Also needs to be updated with develop.

@Dooruk Dooruk self-requested a review July 1, 2024 14:35
@ashiklom
Copy link
Collaborator Author

ashiklom commented Jul 1, 2024

It is probably obvious for everybody else but can I add a note in the doc to "run it on your local machine and not on the HPC" for geniuses like me?

Also needs to be updated with develop.

Done and done!

@ashiklom ashiklom self-assigned this Jul 1, 2024
Slipped in there accidentally from some previous experiments.
@Dooruk Dooruk merged commit 5878df6 into develop Jul 1, 2024
2 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.

2 participants