The libraries shall be open for the use of the faculty and the students of the community college district during the day. In addition, the libraries may be open at other hours, including evenings and Saturdays, as the governing board may determine. Libraries open to serve students during evening and Saturday hours shall be under the supervision of academic personnel.