Rick Ossendrijver
|
e9a5295e80
|
Reference conference talk in README (#877)
While there, fix some URLs broken by eafb73814a.
|
2023-11-30 12:50:42 +01:00 |
|
Pieter Dirk Soels
|
601fcf2648
|
Update website styling and add Google site verification (#408)
|
2022-12-30 08:46:27 +01:00 |
|
Jelmer Borst
|
757d5b1d70
|
Unify local and GitHub Actions website generation flow (#274)
|
2022-10-09 19:43:01 +02:00 |
|
Jelmer Borst
|
5ca95eb36d
|
Set up documentation website generation and deployment (#253)
Generating the website is done by Jekyll with a theme called `just-the-docs`.
Deployment of the website is done via GitHub Pages.
See:
- https://github.com/jekyll/jekyll
- https://github.com/just-the-docs/just-the-docs
|
2022-10-04 09:08:23 +02:00 |
|