Build the docs and put them in a zip file

Review Request #2457 — Created May 30, 2023 and submitted

Information

hasl/hasl
default

Reviewers

Build the docs and put them in a zip file

ran convey run docs and convey run clean and verified it did the right things.

Summary ID
Build the docs and put them in a zip file
572e12e5e75d2a60c9d24082df96fb27074396b2
QuLogic
  1. Ship It!
  2. 
      
grim
Review request changed
Status:
Completed
grim
  1. 
      
  2. Not sure what happened with my testing, but zip was not here when I landed this, so I just yolo'd it into the main image.

  3.