fixup: make generate-everything.sh predicative#1241

felixwellen merged 1 commit intomasteragda/cubical:masterfrom

fix-generate-everythingagda/cubical:fix-generate-everythingCopy head branch name to clipboard