After all of the revenue bonds are fully paid and discharged, or provision for their payment and discharge has been irrevocably made, any surplus moneys in the designated construction fund of a district shall, subject to the limitations and restrictions in any indenture providing for the issuance of the revenue bonds, remain available for the acquisition of sites for, and for the construction, equipping, and furnishing of, buildings for community colleges maintained by the district.