Book sale at Tyler Public Library