mathlib3

chore(scripts/deploy_docs.sh): skip gen_docs if already built

#2263

Merged