On 4/16/22 01:30, Alejandro Colomar wrote:
./scripts/append_COLOPHON.sh make dist-gz
I meant s/dist-gz/dist/