chore: parameterize deployment scripts over sub-site#705

david-christiansen wants to merge 1 commit intomainleanprover/reference-manual:mainfrom

production-dual-siteleanprover/reference-manual:production-dual-siteCopy head branch name to clipboard