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

Update documentation to restore GitHub Pages functionality #387

Merged
merged 21 commits into from
Jan 29, 2024
Merged

Update documentation to restore GitHub Pages functionality #387

merged 21 commits into from
Jan 29, 2024

Conversation

hugginsio
Copy link
Contributor

@hugginsio hugginsio commented Jan 25, 2024

This PR fixes the documentation site deployed to GitHub Pages, as pointed out in #386. You can view the site created from these changes at https://docs.huggins.io/zk/.

The easiest way to get the site working again was to move README.md to the docs/ folder. This moves it out of the repository root, but it's still one of the standard README locations checked by GitHub - the README will still render at the bottom of the repository homepage. If we aren't okay with that move, I will explore making additional changes to the Pages deployment action so that we can leave the README where it is now.

To support this change, I have:

  • Reverted to the default theme as Mickaël had in the unmerged fix/gh-pages branch.
  • Added a Pages deployment action.
  • Updated links in the README.
  • Added the workflow description to the contribution guidelines.

Any and all feedback is appreciated. Thanks!

Closes #386.

@mcDevnagh
Copy link
Contributor

mcDevnagh commented Jan 25, 2024

It looks really good. Thank you for your work! I have some small tweaks, and a question or two, but thank you so much for this :)

@mcDevnagh mcDevnagh self-requested a review January 25, 2024 15:50
Copy link
Contributor

@mcDevnagh mcDevnagh left a comment

Choose a reason for hiding this comment

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

  1. the README should still exist in the root of the repo, so that GitHub shows it
    • I'm fine with all pages, other than the README page, being prefixed with /docs/ in the URL
  2. Is there a way to do versioning?
    • I'm not convinced that main should be the only available documentation, which may change between releases, and thus give incorrect info to users of the latest version
    • it would be nice, if we had multiple versions of the docs available, based on the release tag, but if only the latest release is available, so be it

@hugginsio
Copy link
Contributor Author

  1. Should be able to do this with the default Jekyll static site generator. I'll look into this.
  2. I'm not sure. I'll admit I haven't really worked with GitHub Pages/Jekyll in a while. I'll look into this as well.

I'll add additional comments here and push updates to this branch once I've made progress on these two items.

@hugginsio
Copy link
Contributor Author

hugginsio commented Jan 27, 2024

I was unable to find any nice Jekyll themes that handled versioned documentation well. We could roll our own solution with an existing theme and have every release as a subdirectory that you can navigate to in the sidebar, but that would make using any search functionality confusing.

MkDocs is a very popular SSG for project documentation these days, and it seems to support project documentation a little better than Jekyll does. The Material for MkDocs theme integrates well with a document versioning tool called mike. At first glance, it looks like it would provide a nice workflow.

Example versioned docs with that theme: https://squidfunk.github.io/mkdocs-material-example-versioning/0.1/

@mcDevnagh
Copy link
Contributor

The original solution will suffice, unless of course, you'd like to try to get versioning working.
I would like the docs to only update on release though: https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#release

@hugginsio
Copy link
Contributor Author

If you're open to it, I'll happily take on a MkDocs refactor to get us versioned docs. However, that is outside the scope of this PR.

I have started work on fixing up the current GitHub Pages docs without moving the README around as we discussed. I will tag you here once it's ready for another review!

@hugginsio
Copy link
Contributor Author

Hello @mcDevnagh - I have pushed a few more changes. A deployment of the latest commit is live at https://docs.huggins.io/zk/. The README is back in the repository root, as requested.

@mcDevnagh mcDevnagh merged commit 1471c6b into zk-org:main Jan 29, 2024
3 checks passed
@hugginsio hugginsio deleted the hugginsio/gh-pages branch January 29, 2024 03:13
@mcDevnagh
Copy link
Contributor

looks good. thank you kindly for your work here!

@hugginsio
Copy link
Contributor Author

hugginsio commented Jan 29, 2024

Happy to help! Thank you for working with me on these changes.

Love this project and glad to be a (small) part of it.

@tokisuno
Copy link

idk if this is still being worked on but https://docs.huggins.io/zk/ returns nothing. where should i be looking?

@hugginsio
Copy link
Contributor Author

The documentation is at https://zk-org.github.io/zk/.

I used my domain during development because I cannot make deployments in zk-org.

@tokisuno
Copy link

The documentation is at https://zk-org.github.io/zk/.

I used my domain during development because I cannot make deployments in zk-org.

oh nice. but is there any plan to implement some sort of search feature to the docs at all? or a table of contents to make scrolling around easier? some sort of way to source the /docs folder instead of having to do everything through the repo would be nice.

@hugginsio
Copy link
Contributor Author

@tokisuno - take a look at #388! There is some great discussion around redesigning the documentation there. Many of the potential directions there would result in better navigation and a search feature.

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.

GitHub Pages site does not have a homepage
3 participants