-
Notifications
You must be signed in to change notification settings - Fork 23
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
Automating Reference Documentation publication #37
Comments
Parameters.md are now generated as part of documentation build. |
@NikolajBjorner can you walk me through this process? maybe i can help automating this |
Can it be copied from z3doc.zip asset from |
I other words create an action that triggers on relaese to copy over parameters.md, and optionally update z3prover.github.io |
Currently the reference documentation is built on releases and available as a zip file from the release hive.
https://github.com/Z3Prover/z3/releases/download/z3-4.9.1/z3doc.zip
Then I manually download this and unzip the contents into z3prover.github.io/api/html
It is a repository under https://github.com/z3prover
Commit and push
The process for uploading artifacts should be reasonably similar for releases.
Even a self-contained GitHub action that builds documentation by itself and pushes to the right place (could be microsoft.github.io/z3guide if this is better) would be great and perhaps easier to maintain than complicating the release.yml Azure pipeline.
The text was updated successfully, but these errors were encountered: