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

feat(docs): Publish PDF of protocol specs + remove links to pages in item lists in protocol specs #6684

Merged
merged 13 commits into from
Jun 21, 2024
39 changes: 39 additions & 0 deletions .github/workflows/publish-docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,3 +29,42 @@ jobs:

- timeout-minutes: 25
run: earthly-ci --no-output ./docs/+deploy-prod --NETLIFY_AUTH_TOKEN=${{ secrets.NETLIFY_AUTH_TOKEN }} --NETLIFY_SITE_ID=${{ secrets.NETLIFY_SITE_ID }} --COMMIT_TAG=${{ inputs.tag }}

pdf:
needs: setup
runs-on: ubuntu-latest

steps:
- name: Checkout
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do I need to check out this repo again, since it was done above?

uses: actions/checkout@v3
with:
token: ${{ secrets.AZTEC_BOT_GITHUB_TOKEN }}
path: aztec-packages
- name: Checkout tools repo
uses: actions/checkout@v3
with:
token: ${{ secrets.AZTEC_BOT_GITHUB_TOKEN }}
repository: AztecProtocol/protocol-specs-pdf
path: protocol-specs-pdf
- name: Install Prince
run: |
curl https://www.princexml.com/download/prince-14.2-linux-generic-x86_64.tar.gz -O
tar zxf prince-14.2-linux-generic-x86_64.tar.gz
cd prince-14.2-linux-generic-x86_64
yes "" | sudo ./install.sh
- name: generate pdf
run: |
cd aztec-packages/docs
yarn serve
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I believe the docs are built earlier, how can I access the build so I don't need to build them again and can just serve them? Will it work to serve them locally in Earthly, or should I try to grab the pages from the published url above?

# add generated pdf to the protocol-specs-pdf repo cloned above
npx docusaurus-prince-pdf -u http://localhost:3000/protocol-specs/intro --output ../../protocol-specs-pdf/protocol-specs.pdf
timeout-minutes: 4
- name: push to pdf repo
run: |
git config --global user.name AztecBot
git config --global user.email [email protected]
cd protocol-specs-pdf
git add protocol-specs.pdf
git commit -m "chore: update protocol-specs.pdf"
git push

9 changes: 0 additions & 9 deletions docs/sidebars.js
Original file line number Diff line number Diff line change
Expand Up @@ -59,10 +59,6 @@ export default {
{
label: "Proving System",
type: "category",
link: {
type: "doc",
id: "protocol-specs/cryptography/proving-system/performance-targets",
},
items: [
"protocol-specs/cryptography/proving-system/performance-targets",
"protocol-specs/cryptography/proving-system/overview",
Expand All @@ -72,10 +68,6 @@ export default {
{
label: "Hashing",
type: "category",
link: {
type: "doc",
id: "protocol-specs/cryptography/hashing/hashing",
},
items: [
"protocol-specs/cryptography/hashing/hashing",
"protocol-specs/cryptography/hashing/poseidon2",
Expand Down Expand Up @@ -217,7 +209,6 @@ export default {
{
label: "Decentralization",
type: "category",
link: { type: "doc", id: "protocol-specs/decentralization/governance" },
items: [
"protocol-specs/decentralization/actors",
"protocol-specs/decentralization/governance",
Expand Down
Loading