Fix deploy docs script