🤖 Extend the documentation workflow #90
Labels
documentation
Improvements or additions to documentation
good first issue
Issue that are great for first-time contributors
maintenance
Task to maintain project in a working state
Milestone
We need CI for the really boring stuff: zsdoc, manpage, PDF. Otherwise they will get out of sync. Should be fairly trivial to add.
In CI we can generate all of these and ship them to the repo.
It think these artifacts can be stored in the gh-pages branch. Keeping them as build artifacts is sadly not an option because of the max lifetime of these (90 days?). Let me know if there's a more appropriate place for these.
TODO:
doc/README.md
Refs:
The text was updated successfully, but these errors were encountered: