shelter erected for a public meeting or other function