Summary

Build the docs and put them in a zip file

Review Request #2457 — Created May 30, 2023 and submitted June 13, 2023, 8:30 a.m.

Owner

grim

Repository

hasl/hasl

Branch

default

Bugs

Depends On

Groups

People

Description

Build the docs and put them in a zip file

Testing Done

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

Commits

Summary	ID
Build the docs and put them in a zip file	572e12e5e75d2a60c9d24082df96fb27074396b2

Ship it!

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.