Trigger docs builds

Workflow runs for Trigger docs builds

• Simplify manual dispatch: drop build-ref, make publish-env a dropdown…

  completed successfully:
  Trigger docs builds#3:Commitb73bc46pushedbyrecrwplay
  dev

  Oct 9, 202615s
  More actions for workflow run 3

• Pass publish-env through to the PDF build, same as the HTML build (#386)

  completed successfully:
  Trigger docs builds#2:Commitd97d10dpushedbyrecrwplay
  dev

  Oct 8, 202614s
  More actions for workflow run 2

• Add PDF generation pipeline, update trigger/generate-html to latest t…

  completed successfully:
  Trigger docs builds#1:Commit88a5b89pushedbyrecrwplay
  dev

  Oct 8, 202627s
  More actions for workflow run 1