Tyler Public Library approves renovations