set up mdbook

This adds some new tools in CI for lint the book and also sets up
automated deployment to GitLab Pages. Also adds a readme that suggests
reading the book, since that's where all the information will be.
This commit is contained in:
Charles Hall 2024-06-09 12:52:45 -07:00
parent e318dfcb3d
commit 9a5e552ca0
No known key found for this signature in database
GPG key ID: 7B8E0645816E07CF
10 changed files with 68 additions and 0 deletions

View file

@ -3,6 +3,9 @@
, engage
, inputs
, jq
, lychee
, markdownlint-cli
, mdbook
, mkShell
, system
, toolchain
@ -27,6 +30,9 @@ mkShell {
# Keep sorted
engage
jq
lychee
markdownlint-cli
mdbook
toolchain
]
++