A covered shelter over the entrance of a building