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

Set up documentation site #277

Merged
merged 14 commits into from
Nov 9, 2023
Merged

Set up documentation site #277

merged 14 commits into from
Nov 9, 2023

Conversation

iainfogg
Copy link
Collaborator

@iainfogg iainfogg commented Nov 6, 2023

This PR takes the existing content from the README and breaks it down into separate files in the docs folder, publishing them using GitHub Pages and GitHub Actions.

The aim is to create a more easily accessible, and searchable, site than the current very long README.

It uses mkdocs to build the HTML pages for the documentation site, based on the Markdown files.

mkdocs.yml defines the navigation bar at the side (this allows controlling the order of pages, which would otherwise be in alphabetic order), and also sets the theme and other settings.

Closes #276

Links, spacing etc.
This allows us to use the original README for now,
until we're ready to ditch it and break it up into bits.
@springfall2008
Copy link
Owner

So far looks good, just noticed it was draft actually

@iainfogg
Copy link
Collaborator Author

iainfogg commented Nov 7, 2023

Yep, I was just creating the PR to check that I had permissions to do it 😃

I'll let you know when it's done.

@iainfogg
Copy link
Collaborator Author

iainfogg commented Nov 7, 2023

Can you think whether you'd like the documentation to be rebuilt and published on new commits to main, or when you do a new release? I'll configure the GitHub actions accordingly. @springfall2008

@springfall2008
Copy link
Owner

I guess we could rebuild on release?

@iainfogg
Copy link
Collaborator Author

iainfogg commented Nov 7, 2023

Thanks, I'll sort the config for that.

Yep, I think building on a release makes sense.

@iainfogg iainfogg marked this pull request as ready for review November 8, 2023 12:30
@iainfogg iainfogg changed the title DRAFT Set up documentation site Set up documentation site Nov 8, 2023
@iainfogg
Copy link
Collaborator Author

iainfogg commented Nov 8, 2023

See #276 for latest changes.

I'm happy with this if you are.

@springfall2008 springfall2008 merged commit ddd8d03 into main Nov 9, 2023
1 check passed
@iainfogg iainfogg deleted the documentation branch November 9, 2023 15:34
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.

Documentation rework
2 participants