Flags have been lowered to half-staff at many federal and public buildings across the country in honor of former President Jimmy Carter, who died Dec. 29.

Gov. Greg Abbott said Texas continues to mourn Carter’s death but noted the federal flag code gives special importance to flying the flag on Inauguration Day.